前段时间花了一个通宵把王垠的博客看完了,觉得还是受益匪浅的,所以也给大家谈谈感想。
首先说起王垠这个人嘛,最早了解他的是因为他那篇神一般的传教洗脑文章《完全用Linux工作》,虽然后来被喷成狗。这篇文章在国内的Linux圈子里面非常有名,甚至可以说是国内Linux宗教里的一面旗帜了。虽然我不是完全因为这篇文章入的Linux大坑,但是不可否认当时的我也成功被煽动成了一个Linux脑残粉…甚至到了现在我依然是一个VIM死忠(仅仅是习惯了)……后来随着自己能力和思维的成熟,也慢慢摒弃了当年的偏执,变得更客观更理性。
最近刚好又在自己折腾Lexer和Parser,而且刚好王垠还是PLT领域的专家,所以就想着顺便看看他的文章,结果一看就停不下来了。看完了他所有的文章依然意犹未尽……
王垠文章吸引我的有两点,其一是王垠这个人本身。从他身上让我看到了一个真正的学者科学家该有的特质。他真正热爱思考,热爱自己的钻研的领域,而不像很多人那样只是混口饭吃而已。第二点就是他的文章给我了一个更高的视野去看待编程语言,同时点醒了我程序代码是什么。
程序代码本质就是格式化的数据,这跟xml或者json这种东西其实没什么太大差别,然后依靠Parser把代码解析成计算机可读的数据结构。xml被解析成了dom树,json被解析撑了hash表,而代码被解析成了AST。
代码的语法并不是程序语言本身,代码的语法只是规定了一种数据的编码格式,所以从AST开始,编程语言才真正的开始。在AST之前的Lexer、Parser干的事情都非常简单,就是把代码解码成AST,让计算机能读懂。
最后,很多高深的语法分析,其实只是在解决一个自己创造出来的问题。设计过于复杂的语法,导致了需要非常复杂的语法分析来分析复杂的语法。而像Lisp这种语言,根本不需要复杂的语法分析,顺序读下来就是AST,这也是为什么王垠会那么喜欢Lisp。
当我想清楚这些问题以后,我就尝试完全把代码就当成一种结构化的代码来解析,发现思路变得非常简单清晰,根本不需要什么复杂的算法,不需要什么高深的知识就能非常轻松地解析代码了。
我现在决定先不去抱着书看高深的理论,而是自己先用自己的头脑来解决。等解决完了,再去看书。
王垠的定位跟我们不一样,他是要创造一门完美的语言;而大多数码农就是要解决实际的工程问题的,语言和框架是有问题的,可是受人钱财就是替人消灾,吐着吐着也就习惯了。不喜欢 java 啊,就换个 python 做做吗。
打个比方就是,他是立志要造 F1 的,他给自己的要求是做最好的 F1;而我就是开个出租拉客的混口饭吃的,不喜欢丰田,也就只能换个大众或者福特开开而已了啦。
这是大多数人的现实,或者,大多数人所选择的现实。
当然,他说的不少东西都是很有见地,特别是喷软件工程的那个文章。
最后,很多高深的语法分析,其实只是在解决一个自己创造出来的问题。设计过于复杂的语法,导致了需要非常复杂的语法分析来分析复杂的语法。而像Lisp这种语言,根本不需要复杂的语法分析,顺序读下来就是AST,这也是为什么王垠会那么喜欢Lisp。
未必。大多数时候还是真有那么复杂的需求的。Lisp 的语法确实简单,可并不是所有的编程语言的语法都那么简单。而且许多复杂的语法,并不是为了复杂而复杂,而是为了好用、表达能力、兼容等不同的目的。