型プログラミング

Haskellの型プログラミング　2.型と種（カインド）

読書メモ　Thinking with Types この記事は，「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので，数学や情報工学上の適切な訳語ではない可能性 […]