読書メーターレビュー

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

powered by

• naoki85 さん

  読了日：2025/07/02

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

• 水紗枝荒葉 さん

  読了日：2025/05/11

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

レビューをもっと見る

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

• アンテナ工学の知識を習得するのに最適な一冊 無線工学の中枢であるアンテナ。そのアンテナの解析法技術を学ぶとができる『IoTシステムの極小アンテナ設計技術』。小形... |2016年01月04日 (月)　12:14