型システムのしくみ TypeScriptで実装しながら学ぶ型とプログラミング言語を読みました。 型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語www.lambdanote.com この本は型システムの実装を見ながら、TAPL（型システム入門 プログラ…