一个纯正程序员的啰嗦
这是这个系列的最后一篇，从编程范型的角度概览，前面几篇的链接在文章后半部分有汇总。
我在之前已经介绍过编程范型的概念，而事实上，我们到现在为止，纠结在这四门迥异的语言上面，浅看是各种语言特性，深看就是编程范型和思维方法。
下面这张 “神图” 来自于这里，可以说是对于范型和语言归类的概览，从左往右从更强的声明式向着更弱的声明式发展；依据状态分为 Unnamed state（串行或并发，包含逻辑式和函数式这几种分类）、Nondet. state（所谓的不确定性状态）和 Named state（包含数据流、消息传递和状态共享这几种分类），Haskell 出现在了左侧函数式语言的分支内，而 Java 出现在了右侧
[……]阅读全文
这是《从 Java 和 JavaScript 来学习 Haskell 和 Groovy》系列的第四篇。
首先来理解 DSL。
DSL（Domain Specific Language）指的是一定应用领域内的计算机语言，它可以不强大，它可以只能在一定的领域内生效（和 GPL 相比，GPL 是 General Purpose Language），表达仅限于该领域，但是它对于特定领域简洁、清晰，包含针对特定领域的优化。
当我们面对各种各样的特定需求的时候，一个通用的语言往往不能高效地提供解决问题的路径，相应的 DSL 并不是并非要解决所有的问题，但是它只关注于某一个小领域，以便解决那一个小领域的问题就好了。比如 HTML，只用
[……]阅读全文
本篇文章的话题是元编程。首先来认识元编程，我在第一篇 《引子》里面已经介绍：元编程，指的是在运行时改变 “类” 的定义，例如访问、增加或修改等等。一言以蔽之，就是 “用程序来写程序”。在第二篇的 《类型系统》里面已经借由继承和接口的实现，介绍了一些利用元编程特性来增加或改变子类行为的方法。回顾语言发展的长河，其实是经历了一个从 “对象 -> 类 -> 元类” 到 “对象 -> 原型” 的发展过程的。所以，无论是类，还是元类，这样的概念其实都不是非有不可的，只是因为我们思考的习惯，特别是抽象的习惯而顺其自然地产生了。这一点我在 《编程范型：工具的选择》里面已经详细描述了，建议在往下阅读前移步。
[……]阅读全文
接上文 《从 Java 和 JavaScript 来学习 Haskell 和 Groovy（引子）》。
首先搞清几个概念：
[……]阅读全文
我记得刚接触计算机的时候，我就受到了两个非常巨大的错误观念的影响，这个观念最初是来自于老师的传授还是学长的教诲已经记不清了，但是直到我工作几年以后，才慢慢有了实际的体会：
简直就是是胡扯啊。也许在某个极其狭隘的上下文中还能这样说，但是泛泛而谈，这样的态度无疑是误人子弟的。
就说第一条，编程语言不但重要，而且太重要了。换句话说，学习一门新的编程语言，可能学习的是背后的范型和思考问题的方式。如果这个部分能带来新的东西，那就是值得花时间投入的。
可能很多人和我的背景一样，熟悉 Java 和
[……]阅读全文