関数型プログラミング
(3 items)- Talk
@ 関数型まつり 2025
堅牢な認証基盤の実現:TypeScriptで代数的データ型を活用する
医療システムの認証基盤で代数的データ型を活用し、複雑な状態管理を型安全に実現した事例を紹介します。
- Talk
@ TSKaigi 2024
複雑なビジネスルールに挑む:正確性と効率性を両立するfp-tsのチーム活用術
fp-tsの柔軟な関数合成・エラー合成機能を活用し、Excel入稿機能の複雑なバリデーションで正確性と効率性を両立させた事例を紹介します。
- External
@ KAKEHASHI Tech Blog
リストを題材にして代数的データ構造に入門してみる
プログラマに馴染み深い「リスト」を題材に、Sum Type(和)とProduct Type(積)で代数的にデータ構造を表現する方法を解説。方程式の展開を通じてリストの構造を直感的に理解する。