bouzuya https://blog.hatena.ne.jp/bouzuya/ bouzuya.hatenablog.com https://bouzuya.hatenablog.com/ 『型システムのしくみ』 https://www.lambdanote.com/collections/type-systems を読んだ。 読むだけならずいぶんと前に終えているのだけど、ソースコードを書き、動かしながら一周した。 TypeScript を簡素化したような言語の型検査の部分を書いた。 parser が用意されているおかげで、型の部分だけで済み、サクサク進むのが良かった。 (自分の時間をとれる) 休みがきちんとあれば、こうやって読めるんだよな……とか思う。 今日のコミット。 tiny-ts-deno 4 commits Add README Add 9.x Add 8.x Add … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbouzuya.hatenablog.com%2Fentry%2F2025%2F05%2F30%2F235011" title="『型システムのしくみ』を読んだ - bouzuya.hatenablog.com" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-05-30 23:50:11 rich https://bouzuya.hatenablog.com/entry/2025/05/30/235011 1.0 100%