関数型プログラミング
#プログラミングパラダイム
プログラマが知るべき97のこと > 関数型プログラミングを学ぶことの重要性
モナド
によって
シンタックス
と
セマンティクス
を表現する
順次・分岐・反復
を
型
と
パターンマッチング
で表現する
コンポーサブル
関連
設計技法はシンタックス（構文）とセマンティクス（意味論）の理解の上に成り立つ
圏論