モダンなソフトウェア設計の書籍

のまとめ

関数型プログラミング寄り

形式仕様記述っぽいやつ

以下、Scott Walchinが、こういう本が現代に欲しいというヤツ

全体像：システム思考、OODA、Cynefinなど

人間中心のデザイン、イベントストーミングのような全員参加型のアプローチ

型駆動設計から始まるフォーマルなアプローチもカバーしているが、フォーマルな方法の簡単な紹介も含まれているもの。

Purity first、コンポジション、不変性などのFPの考え方と、それがデザインやアーキテクチャにどのように影響するか

イミュータブルなデータを扱うもの。「会計士は消しゴムを使わない」（例：イベントソーシング)

分散システムのための設計の基本

TDDだけでなく、PBT、ミューテーションテストなど、最新のテスト・検証アプローチ。本番環境でのテストなど。

セキュリティ、観測性、倫理性など、かつてはオプションであったが現在は重要なものを（最後まで残すのではなく）統合する。