「型システムのしくみ - TypeScriptで実装しながら学ぶ型とプログラミング言語」という本のおかげで、はじめて静的方検査を実装することができた、という日記です。 型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語www.lambdanote…