程序语言理论
beswkwangbo
这个作者很懒,什么都没留下…
展开
-
王垠:谈语法
使用和研究过这么多程序语言之后,我觉得几乎不包含多余功能的语言,只有一个:Scheme。所以我觉得它是学习程序设计最好的入手点和进阶工具。当然 Scheme 也有少数的问题,而且缺少一些我想要的功能,但这些都瑕不掩瑜。在用了很多其它的语言之后,我觉得 Scheme 真的是非常优美的语言。要想指出 Scheme 所有的优点,并且跟其它语言比较,恐怕要写一本书才讲的清楚。所以在这篇文章里,我只转载 2013-11-18 21:57:10 · 1479 阅读 · 0 评论 -
王垠:论对东西的崇拜
在之前的几篇博文里面,我多次提到了 Lisp,它相对于其它语言的优势,以及 Lisp Machine 相对于 Unix 的优点。于是有人来信请教我如何学习 Lisp,也有人问我为什么 Lisp Machine 没有“流行”起来。我感觉到了他们言语中对 Lisp 的敬畏和好奇心,但也感觉到了一些隐含的怀疑。这是一种复杂的感觉,仿佛我在原始人的部落兜售一些原子能小玩具,却被人当成了来自天外的传转载 2013-11-18 21:59:36 · 1167 阅读 · 0 评论 -
王垠:关于编程语言的思考
之前写了那么多 Haskell 的不好的地方,却没有提到它好的地方。其实我必须承认,我从 Haskell 身上学到了非常重要的东西,那就是对于“类型”的思考。虽然 Haskell 的类型系统有过于强烈的约束性,从一种“哲学”的角度看感觉“不自然”,但如果一个程序员从来没学过 Haskell,那么他的脑子里就会缺少一种重要的东西。这种东西很难从除 Haskell,ML,Coq,Agda 以外的其它语转载 2013-11-05 18:52:52 · 1546 阅读 · 0 评论 -
王垠:如何掌握程序语言
学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言,每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言,而且必须紧跟“潮流”,否则就怕被时代所淘汰。作为一个程序语言的研究者,我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单,永恒不变的原理。看到了它们,就可以在很短的时间之内就能学会并且开始使用任何新的语言,而不是花费很多功夫去学转载 2013-11-05 17:28:15 · 1059 阅读 · 0 评论