シリーズ :: [Qiita記事]

明示的な型指定

5 :: Int    -- 5
5 :: Float  -- 5.0

値 :: 型と書くことで明示的に型を指定できる。
値はxxx型によって表現される、と読むと分かりやすいかも。

:t 'A'      -- 'A' :: Char
:t "Hello"  -- "Hello" :: [Char]

REPLだと:t 値で実際の型が何かを調べられる。
（純粋関数型言語なので）関数も値の一種なので、:t 関数で型を調べられる。

:t take -- take :: Int -> [a] -> [a]

上記におけるaが「型変数」で、他の言語で言うところのジェネリクス。
つまり、中身の型（ここではリストの要素の型）を限定しない時に使う。

ちなみに型変数を用いた関数を「多相的関数」を呼ぶ。
（呼び方の問題なのであまり重要ではないけれど）

:t fst -- fst :: (a, b) -> a

同じ型変数が指定されている場合（上記ではa）、はそれらは同じ型でなければならない。
逆に異なっている型変数（上記ではaとb）が、異なる型である必要はない。

:t (==) -- (==) :: Eq a => a -> a -> Bool

Javaでいうところの「インターフェース」、Objective-C / Swift でいうところの「プロトコル」。
（既存の型を含めて、拡張できるという意味ではSwiftのプロトコル/エクステンションが非常に近い）

上記のEqが「型クラス」の例で、等値性をテストするためのインターフェースを定義している。
（具体的には==と/=の2つ）

Eq a =>は「型クラス制約」と呼び、aがEq型クラスの関数を実装している必要があること示す。
つまり、aは==と/=で比較可能でなければならない。

他言語で言えば、引数として「インターフェース」や「プロトコル」が要求されているイメージ。

ある「型」が、ある「型クラス」に適合している場合、（その型はある型クラスの）「インスタンス」である、と表現する。
例えば、自作の型FooをEq型クラスに適合する場合、「Foo型をEq型クラスのインスタンスにする」と表現する。

型＋型クラス＝インスタンス化、みたいなイメージを持つと分かりやすいかも。

*1 ()内は前提となる型クラス。例えば、Ordのインスタンスになるためには、Eqインスタンスでなければならない。