道可道,非常道。名可名,非常名。
如果John McCarthy和Jean Ichbiah在Guido Van Rossum家中相会将会怎样?
或者说如果lisp和prolog在python之中将会怎样?
于是Dinpy就出现了。
有人说,不理解lisp的人注定要以一种糟糕的方式重新发明它,并且忙着粉饰宣传,声称是创新和改进。
但是,如果一旦重新发明lisp又会怎样?
很多人知道lisp很酷,但是,确实还是有很多人不喜欢lisp。
他们真的是不喜欢lisp?还是只讨厌lisp里面的括号?
反正我是喜欢lisp的人之一,我也是括号的讨厌者之一。
为什么有人如此地喜欢lisp?因为它的概念的简约,它的概念的美, 它的表达能力,它的可扩展性,它的宏。
为什么有人如此地讨厌lisp?因为它形式上的繁琐,它的括号带来的臃肿丑陋。
你是喜欢这样的代码: (equal (+ (* x 3) (* 2 y)))?
还是喜欢这样的代码:x*3+2*y==z?
假如你能这样写代码:3x+2y=z?
第三种代码早已经扎根在我们的思维之中,扎根在人类的整体思维之中,读写它的人其潜意识自然而愉悦。读写第一种代码,经过训练之后,应该基本上能够跟上我们内在的意识流。读写第二种代码,就像理解汇编代码一样,因为要识别其中过多的括号,令人感觉到厌倦疲惫。这种厌倦机械重复的感觉,就像喜欢lisp概念的简约和美妙一样,是人类智力同一本性的两面,是无法通过训练和同化得以消除的。
为什么人类发明各种符号?因为人脑喜欢简约。lisp的sexpression违背人脑对简约的追求。
我们为什么要编程?编程的目的是为了不需要编程。
为什么要有程序员?因为有的人不是程序员。
人们面临问题,人们解决问题。人们制造工具解决问题。
很多时候,工具本身成为人们面临的问题。
Dao语言提供的解析器将帮助你的符号系统面向问题领域,趋向简约。
dinpy是Dao语言在python语言中的表现形式。
Dinpy可以作为通向Dao语言的梯子。
Dao语言是编程之道经历的一个阶段。
哪种工具是最好的工具?这种工具,使用的人感觉不到工具的存在。
什么语言是最好的编程语言?这种语言,使用它的人不会想到它是一种编程语言,使用它的人不会觉得自己是个程序员,不会觉得自己在编程序。
这种语言在哪里?它现在还没有出现!
编程之道最终通向何方?编程之道的终点就是它的起点:那里没有程序员,没有编程,没有程序!