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
Forwarded from Deleted Account
Wikipedia
Closure (computer programming)
technique for creating lexically scoped first class functions
Forwarded from Deleted Account
因为许多人喜欢把一切 s-expression 语言当成 Lisp "dialect"
许多人喜欢把一切语言特性当成语法糖,甚至于 Java 5 加入的 generics
许多人喜欢把一切语言特性当成语法糖,甚至于 Java 5 加入的 generics