当ブログのメインコンテンツこと（？）、型システム入門読書回です。 ５章 ラムダ計算に入りました。 テンションが上がり気味な内容になっています。 ではどうぞ。

突発読書回です。 carotene4035.booth.pm これ↑の話をします。

ちょいネタです。 前回の最後に「こんなんできたらいいなあ」という話をしていたのを置きに来ました。

読んでいます。 第４章 算術式のML実装 やっていきます。 前回→第２回 今回 ↓

お久しぶりです（？）。読んでいます。 他の本が挟み込まれたり例のC#の事があったりと色々読めていなかったんですが、 これもおろそかにはできんなということで、記事を起こしに来ました。 第３章 型無し算術式 ５節 評価 です。