批踢踢實業坊
›
精華區
beta
PLT
關於我們
聯絡資訊
返回上層
看板
精華區
◆ [問題] GADT 概念
◆ [問題] 請問有沒有Functional Programming的中文書...
◆ [問題]介紹lampda calculus的書
◆ [問題] Scala 的 Covariant/Contravariant/Invariant
◆ [問題] 程式語言大部分是 Turing Complete 的嗎?