- <リ>
Yaron Minsky、Anil Madhavapeddy、Jason Hickey による「Real World OCaml Functional programming for the masses 2nd edition」 - Ocaml を深く学びたい人には、この本を強くお勧めします。 .この本を読むことで、ファンクター（Haskell ファンクターとは大きく異なるウィッチ）やファーストクラス モジュールなど、高度な ML 言語の機能の多くを理解できます。ビルド システムとライブラリについて。
<リ>「The Formal Semantics of Programming Languages:An Introduction」 by Glynn Winskel - この本には、プログラミング言語の概念が明確に説明されています。小さなプログラミング言語 IMP を中心に説明されており、本では異なるスタイルのセマンティクスで定義されています。余談ですが、この本はかなり古い (1993 年) ため、本で使用されている表記法は非常に奇妙です。
<リ>"Practical Foundations for Programming Languages" by Robert Harper - 私は頭が悪いかもしれませんが、この本は辛口で読みにくいと思います。多くの場合、この本は教科書というよりもリファレンス メニューのように読みます。概念を理解していても、この本を読むことはおそらくあなたを助ける効率的な方法ではありません.一方、概念を理解していれば、定義が機械的であることがわかります.Winskelの本を同時に読むと、この本を理解するのに大いに役立ちます. Winskel の本の欠けている部分である、この本の言語静的に重点を置いている点が気に入っています。
<リ>"Hands-On Design Patterns with C++" by Fedor G. Pikus - 誰かが cpplang slack チャンネルで勧めたので読み始めました.この本がデザインパターンではなく慣用的な C++ に焦点を当てているのが好きです.この本の唯一の不満は.たとえば、テンプレート メソッドの章にあるゲームの例は、継承ではなくコンポーネント アーキテクチャまたは ECS を使用して実装する必要があります。デモンストレーション目的ですが、代替手段を知らない人にとっては誤解を招く可能性があります.
<リ>William Strunk Jr. と E. B. White による "The Elements of Style" - 英語を効率的に書く方法についてのかわいらしい本。 /P>