GHCiコマンドによる調べもの こちらにコマンド一覧 そこから、調べもの系のコマンドを抜粋 :type expression expressionの型を推論し、印字する。多相型には明示的な全称量化が加えられる。推論に際して、単相性制限は適用されない。 :kind type typeの類を…

Haskell基礎文法最速マスターがよい Capm Network Haskellもよい データ型 型クラス 型シグナチャ・型推論 型コンストラクタ インスタンス(型クラスに属するデータ型のそれぞれに対して関数を定める)