Types and Programming Languagesが大変な件

Types and Programming Languages
Benjamin C. Pierce

内容難しいし英語だし。。。
正直何度も読み返すのは英語な分だけ労力がバカにならないのでメモしながら読まざるを得ないと感じました。
というわけで数学的なつぶやきが今後増えるかも。
＃計算理論の基礎も読んでるしね！ 全然基礎じゃねえよあれ！