実践TypeScriptバックエンド開発：データと関数によるドメインモデリングで堅牢性を高める

本書は、TypeScriptで堅牢なバックエンドシステムを設計・実装する方法を解説します。具体的には、ドメイン駆動設計の考え方を用いて業務上の概念やルールを整理し、ドメインモデルとして表現します。その実装では、データと振る舞いを分離しますが、関連する型と関数を同じモジュールにまとめることで、ドメイン知識がコードベースの各所へ分散することを抑えます。そして、この実装方針を支えるものとして関数型プログラミングの考え方を扱います。ただし、関数型プログラミングそのものを網羅的に解説することは目的としていません。圏論や高度な型理論ではなく、純粋関数を中心にプログラムを構成し、不変なデータと明確な入力・出力によって振る舞いを組み立てる「スタイルとしての関数型」に焦点を当てます。入力と出力の関係が明確な小さな関数は、関数ごとに振る舞いを把握しやすく、変更の影響も予測しやすくします。本書では、こうした関数を組み合わせてより大きな処理を構成します。―「はじめに」より。