シリーズ :: [Qiita記事]

Haskell個人メモ :: 1.基本
Haskell個人メモ :: 2.型　←いまここ
Haskell個人メモ :: 3.関数の構文
 Haskell個人メモ :: 4.再帰

明示的な型指定

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

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

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

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

Haskellの一般的な型

型	説明
Int	整数
Integer	限界がない整数（固定のビット長を持たない）
Float	単精度浮動小数点
Double	倍精度浮動小数点
Bool	True / False
Char	文字（Unicode）
タプル	最大数は62

型変数

: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型クラスのインスタンスにする」と表現する。

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

用語のまとめ

| 型 | 説明 | コード例 |
| :------------- | :------------- | :------------- | :------------- |
| 型クラス | 振る舞いを定義するインターフェース | Eq |
| 型クラス制約 | その型が準拠していなければならない型クラスを指定 | Eq a => |
| インスタンス | 型クラスに準拠している型 | - |

標準の型クラス（の例）

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