Tags
第 4 頁
Functional-Programming
型理論與 Curry-Howard 同構：命題=型別、證明=程式的深遠和諧
Haskell 與純函數式程式語言的哲學：單子 (Monad) 的世界與其深淵
重新思考設計模式：GoF 過時了嗎？現代最佳實踐
Lambda演算（Lambda Calculus）與函數式編程的起源：從阿隆佐·邱奇的理論到Lisp、Haskell
