古黑论全屏查看代码
849
4144
3万
可遇不可求的事:故乡的云,上古的玉,随手的诗,十九岁的你。
Lisp比图灵机表达起来更简洁。证明这一点的一种方法就是写一个Lisp通用函数,证明它比图灵机的一般性描述更短、更易懂。这个Lisp函数就是eval……它用来计算Lisp表达式的值……。编写eval函数需要发明一种表示法,能够把Lisp函数表示成Lisp数据。设计这种书写法完全是为了满足论文写作的需要。(我)根本没有想过用它来编写Lisp程序并在计算机上运行。
拉塞尔对我说:“我想把eval编成程序……”我告诉他,别把理论和实践混淆,eval只是用来读的,不是用来做计算的。但是他执意要做,并且还真的做出来了。就是说,他把我论文中的eval编译成了[IBM]704计算机的机器码,修正了bug,然后对外宣布做出了Lisp语言的一种解释器,这倒没有说錯,确实如此。所以,从那个时候开始,Lisp语言就基本上是它现在的样子了……
使用道具 投诉
0
361
220
这个用户很懒,还没有填写自我介绍呢~
399
245
380
219
157
451
本版积分规则 发表回复 回帖后跳转到最后一页
古黑论管理员,在论坛上有什么问题都可以找他。
授予注册古黑论五年老会员。