/tmp/duangsuse.sock
23 subscribers
303 photos
3 videos
92 files
337 links
从 duangsuse::Echo (@dsuse) 跟进出来的分支,将在作者恢复原帐号访问的时候合并删除。
Download Telegram
Forwarded from Science Yuan
标准是大家觉得它是不是 而不是它符合什么条件
Forwarded from Deleted Account
别人说你也跟着说?
这是一个可以判断的理论问题
Forwarded from Science Yuan
所以我说python也是
Forwarded from Deleted Account
scheme是untyped lambda calculus, haskell是simple typed lambda calculus
Forwarded from Deleted Account
问题是你们这的人太少,wiki 编辑 Scheme 的 dalao 不重视区分
Lisp 最开始是没有 lexical scoping 的
Forwarded from Deleted Account
除了 simply typed,还有 Hindley milner 的 polymorphism
Forwarded from Deleted Account
为什么 Python 2 是 Lisp
Forwarded from Deleted Account
难道 closure 不是 Scheme 搞出来的吗
Forwarded from Deleted Account
为什么
Forwarded from Deleted Account
所以你说不算就不算吧。。。
Forwarded from Deleted Account
Lisp 2 比 1 强多少
Forwarded from Deleted Account
啊,你概念搞错了
Forwarded from Deleted Account
没有强弱之比
Forwarded from Deleted Account
比如我
我就觉得它不是
Forwarded from Science Yuan
还有人不承认rackect是scheme
Forwarded from Science Yuan
说白了就是社区认同
Forwarded from Deleted Account
那你们感觉Guy Steele说的算吗?
Forwarded from Science Yuan
第一句话就是错的
Forwarded from Deleted Account
因为许多人喜欢把一切 s-expression 语言当成 Lisp "dialect"
许多人喜欢把一切语言特性当成语法糖,甚至于 Java 5 加入的 generics
Forwarded from Deleted Account
我就是讨厌这一论调