プログラミング勉強日記

勉強したことを書きます。Haskellとか。

2016-04-11から1日間の記事一覧

型システム入門を読む

久しぶりに書きます。estore.ohmsha.co.jp型システム入門という本を買ってしまったので、読んで勉強します。 私は型に対する理解が未だに曖昧なので、これを読んで少しでも理解を深められたらと思っています。3章の型無し算術式までは読んでみましたが、集合…