感想・レビュー
※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。
naoki85
1
TypeScript をベースに、型検査器を作成して型に関して勉強していく、という流れになります。ベースになっているのは Types and Programing Languages という書籍のようで、恥ずかしながら私は読んだことはないのですが、かなりの名著のようです。手を動かしながら学習することはできましたが、やはり型を一般化していく、というのは私にとっては文章にするとスッと入ってこなく、コードと照らし合わせながらなんとか読み進めました。この辺りに関して、知識が不足しているな、と痛感した次第です。2025/07/02
水紗枝荒葉
0
TypeScriptをホスト言語として、TSのサブセット言語に型検査機を実装する本。部分型、再帰型、ジェネリクス（パラメトリック多相）など、TaPLの実践編のような内容になっている。抽象構文木の構築までは前提とするので、コンパイラ・インタプリタについて事前に勉強しておくこと。実装中心なのでサンプルコードをガン見しながら読み進めていった。欲を言えばML系の型推論も扱ってほしかったが、手続き型/マルチパラダイムのTSで型システムを論じるのが本書の美点なので、そこはしょうがないか。2025/05/11
