takafumi blog
id:takafumi-s
【Haskell】 言葉の定義まとめ（型クラス、型コンストラクタ、値コンストラクタ、型引数など）
環境 ghc 7.8.3 CentOS7.0 「すごいHaskellたのしく学ぼう！」第07章 メモ この辺で、言葉の定義がよくわからなくなっていたので、まとめてみた。 言葉 説明 例 型変数 関数の明示的な型宣言に使われるどんな型も取り得る事を意味する head :: [a] -> a この「a」の事を型変数とよぶ 型クラス 何らかの振る舞いを定義する…
