2018-12-26 12月26日/27日の学び Haskell プログラミングHaskellのほうが断然わかりやすい。すごしずつHaskellの文法が見えてきた感じ。 用語整理 型 型とはお互いに関連する値の集合 Haskellではすべての式は型を持つ Bool型もChar型もInt型も全てお互いに関連する値の集合 リスト型もタプル型も全てお互いに関連する値の集合 関数型 関数型も型の一種 関数型はある型の引数を他の型の結果に変換する 多相型 1つ以上の型変数を含む型や 1つ以上の型変数を含む型をもつ式は多相的と呼ばれる lengthは[a]->Intなので多相的 クラス制約 型変数がどの型クラスのインスタンスなのかを制約する クラス制約を利用することでNumクラスのインスタンスである型変数aなどを指定できる 多重定義型 1つ以上のクラス制約を持つ型は多重定義型と呼ばれる 参考サイト 型クラス - ウォークスルー Haskell takafumi-s.hatenablog.com