「型システムのしくみ」という本で静的型検査を書くことができた - bati11 の 日記

「型システムのしくみ - TypeScriptで実装しながら学ぶ型とプログラミング言語」という本のおかげで、はじめて静的方検査を実装することができた、という日記です。 型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語www.lambdanote.com 新卒で中小SIerに入社し、そこからプログラミングをやり出しました（かなりの月日が流れ気がつけば私も小学生の父親に...）。色々なことを学習してきた中でコンパイラの実装というものに憧れてきました。 Parserやインタプリタは実装したことはあるけれど、「型検査」というものの実装が自分にとってはハードルが高く、なかなか手をつけられず。 話は変わって2025年になりまして。今年はRustを学んでみたいなー、インプットのための良い本はたくさんありそうだ、アウトプットは何にしよう→「そうだ、RustでC言語のコン