Forwarded from Deleted Account
Haskell 是 purely functional,Lisp 是 functional,请问它们有多大关系
Forwarded from Deleted Account
scheme是untyped lambda calculus, haskell是simple typed lambda calculus
Forwarded from Deleted Account
问题是你们这的人太少,wiki 编辑 Scheme 的 dalao 不重视区分
Lisp 最开始是没有 lexical scoping 的
Lisp 最开始是没有 lexical scoping 的
Forwarded from Deleted Account
除了 simply typed,还有 Hindley milner 的 polymorphism