Haskellという関数型言語には型推論というかなり強力な武器が備わっています。
初歩の段階で既に型推論の概念が出てきます。
全く型を書かなくても良いということではなく、
ある程度確からしいものは省くことが出来るということに注意・・ですね。

具体例をいきましょう。
例えば、
add.hsとして、 のような型情報何もないがコードがあった場合、
コードの中の情報から勝手に型を推論してくれます。

例えば、上のコードの場合は+関数があります。
これは数の足し合わせに使う関数なので数に関するNum型が関わっていると推論されます。

実際にghci(Haskellのインタープリタ)を用いて型を見てみると、 となります。
なのでこれは2つの引数を持つ数の足しあわせの関数でした。

もちろんこの関数は実際に使用することも出来て、
ghciに読み込ませて(ghci>:load add.hs)、 となりきちんと処理が完了しています。

他にも例はあるのですが、新たにパターンマッチのような概念を導入しないとすすめないのでこの辺にします。