Tags
5 ページ目
Functional-Programming
型理論とカリー＝ハワード同型対応：命題＝型、証明＝プログラムの深遠なる調和
Haskellと純粋関数型言語の哲学：モナドの世界とその深淵
関数型プログラミングの基礎と利点（純粋関数、不変性、モナドの概念）
デザインパターン再考：GoFは時代遅れか？現代のベストプラクティス
ラムダ計算（Lambda Calculus）と関数型プログラミングの起源：アロンゾ・チャーチの理論からLisp、Haskellへ
