Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

• naoki85

  読了日：2025/07/02

  TypeScript をベースに、型検査器を作成して型に関して勉強していく、という流れになります。ベースになっているのは Types and Programing Languages という書籍のようで、恥ずかしながら私は読んだことはないのですが、かなりの名著のようです。手を動かしながら学習することはできましたが、やはり型を一般化していく、というのは私にとっては文章にするとスッと入ってこなく、コードと照らし合わせながらなんとか読み進めました。この辺りに関して、知識が不足しているな、と痛感した次第です。

• 水紗枝荒葉

  読了日：2025/05/11

  TypeScriptをホスト言語として、TSのサブセット言語に型検査機を実装する本。部分型、再帰型、ジェネリクス（パラメトリック多相）など、TaPLの実践編のような内容になっている。抽象構文木の構築までは前提とするので、コンパイラ・インタプリタについて事前に勉強しておくこと。実装中心なのでサンプルコードをガン見しながら読み進めていった。欲を言えばML系の型推論も扱ってほしかったが、手続き型/マルチパラダイムのTSで型システムを論じるのが本書の美点なので、そこはしょうがないか。

レビューをもっと見る

(外部サイト)に移動します