关于语言的悟道

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:

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