型システム入門を読む

久しぶりに書きます。

estore.ohmsha.co.jp

型システム入門という本を買ってしまったので、読んで勉強します。
私は型に対する理解が未だに曖昧なので、これを読んで少しでも理解を深められたらと思っています。

3章の型無し算術式までは読んでみましたが、集合やら関係やらの知識が不足していることもあって難航しています。
とりあえず4章を読んでみて、必要があれば読み直すことにします。