GHCi

GHCi調べものメモ

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