トーク

関数型プログラミングを学んでも、実務での活用方法に悩む方は少なくありません。純粋関数、イミュータブルな値、モナドなどの概念を、具体的なコードにどう落とし込むかが明確でない場合が多いからです。

そこで本セッションでは、Dmitrii Kovanikov 氏の提唱する 5 つの原則（Parse, don’t validate／Make illegal states unrepresentable／Errors as values／Functional core, imperative shell／Smart constructor）を「事前条件」「事後条件」「不変条件」という Design by Contract の視点で再構成し、TypeScript による実装例とそのメリットを解説します。

加えて、当社が開発している API ゲートウェイを題材に、これらの原則を戦術的 DDD に基づくレイヤードアーキテクチャに適用する例もご紹介します。バックエンド開発におけるコードの堅牢性と保守性の両立を目指すだけでなく、状態管理の複雑なフロントエンド開発でも応用可能な設計手法をお話しします。