关于语言的悟道

Linker: 

呵呵
其实，用Haskell悟道非常的好

禹呈: 

还是你说像lua那样就够了？

Linker: 

因为，没悟道透彻就不会用
我觉得js很lua是同样的 道

禹呈: 

不用悟透彻也会用的语言也有

Linker: 

恩

禹呈: 

比如python

Linker: 

那是
对的
python其实是better c++

禹呈: 

o？这么有洞察力的见解

Linker: 

其实，没有语言是真正独立的
都是参照以前的语言造出来的

禹呈: 

js貌似不允许多返回值吧？

Linker: 

但是，很多新语言并没有领悟到真谛就开始造了
比如D语言

禹呈: 

商业软件都是这样的
D有商业软件背景
这就是商业和开源的区别

Linker: 

恩
多返回值？？
直接返回一个object
不就行了
还有就是一个[]
[1,2,3,]
这不就是多返回值

Sent at 4:24 PM on Friday
Linker: 

不是么
没转过弯？

Sent at 4:27 PM on Friday
禹呈: 

no
多返回值
其实
具有划时代的意义
不是一个简单的打个包的问题
这是一场变革
函数是单入口单出口的
入口可以多个值
出口却一般只有一个
这里面暗示了一个精神
函数的出口入口地位是不对等的
然而
据我最新的悟道成果
它们
应该是对等的
酱子

Linker: 

恩
对的

禹呈: 

函数

Linker: 

所以异常就没必要了

禹呈: 

是接成管道网络的一个个IC

Linker: 

其实lua的协程就是异常

禹呈: 

听说过一种无返回值风格：

Linker: 

其实lua的协程就是异常

禹呈: 

stackless风格

Linker: 

lua的协程就是一种无返回值的

禹呈: 

每个函数都是f(a, b, c, ..........., callback)

Linker: 

就是协程嘛

禹呈: 

函数没有return

Linker: 

你站高点看
协程就是异常

禹呈: 

出来，就是callback(x, y, z, ..........)

Linker: 

没差别

禹呈: 

f(a, b, c, ............, on_return)
这就是协程不假
不过
协程也只是一个推论
而底下的“公理”
叫continuation

Linker: 

恩，是啊
咔咔
你也悟道了
咔咔

禹呈: 

多返回值，就是对continuation的直接支持
scheme里有call/cc

Linker: 

恩，是啊，lua的多返回值是非常不同于别的语言的设计

禹呈: 

lua里的对应物，不是coroutine

Linker: 

是？

禹呈: 

而是尾递归优化与多返回值的联合

Linker: 

哦，我现在就这么用呢
代码我给你看过了

禹呈: 

咔咔

Linker: 

咔咔

禹呈: 

ok，悟道完毕

Linker: 

其实，Erlang也是这个道
只是Erlang加入了OO思想

禹呈: 

烫手山芋模型？

Linker: 

FP壳
OO肉
所以比较容易接受

禹呈: 

壳在肉外面……还是个爬行动物

Linker: 

Lua的这种把高级特性很隐晦的表的的语言比较少见
Haskell想反
是OO肉在外面，FP核心在里面
Lua是FP核心在里面藏着，一堆杂七杂八的东西在外面

禹呈: 

肉在外面，这个应该是哺乳动物了

Linker: 

恩，是啊
我觉得是
唉
可惜能悟到这些道人太少