2025-05-30 『型システムのしくみ』を読んだ

読むだけならずいぶんと前に終えているのだけど、ソースコードを書き、動かしながら一周した。 TypeScript を簡素化したような言語の型検査の部分を書いた。 parser が用意されているおかげで、型の部分だけで済み、サクサク進むのが良かった。

(自分の時間をとれる) 休みがきちんとあれば、こうやって読めるんだよな……とか思う。

今日のコミット。