感受 Erlang（1）

Erlang 的学习感受
Erlang 是个好东西，并发控制、容错机制、分布应用，……，简直是个高级实用技术仓库。在它适用的领域里，Erlang 有着独步天下的优势，至今没有别的语言工具能与它叫板抗衡。
最近，开始学习 Erlang，看了几天的e教材后，有些相见恨晚的感叹。为了提醒备忘，把一些收获感受写下来。
一、怎样快速入门
现在，从网上能很容易地找到一大堆 Erlang 的中英文资料。虽说开卷有益，但我觉得最好的入门教材，是 Erlang 自带的 doc，即《Getting Started With Erlang》。
在学习方法上，按照循序渐进的规律，在入门阶段，记忆比理解更重要。首先囫囵吞枣，比着葫芦画瓢，了解对象的全貌，快速掌握基本内容。然后反复温习，攻读实例代码，深入理解，最后达到熟练、精通。
二、Erlang = Prolog + Lisp
从基本语法上，Erlang 是 Prolog 和 Lisp 的混合杂交产物。
Erlang 诞生地是瑞典。同在斯堪的那维亚半岛上的瑞典和丹麦，人工智能研究颇有名气，象丹麦的Visual Prolog（前身是PDC Prolog, Turbo Prolog），Hugin（贝叶斯置信网络系统），瑞典的 SICStus Prolog。Erlang 的初始版本是用 Prolog 写成，与这个背景不无关系。
大致粗略地看，在基本语法上，Erlang 与 Prolog 有以下相似之处。
● 语句分隔符是逗号（,），语句（子句、段）结束符是句号（.）
● 变量名称第一个字符必须用大写字母
● 在同一作用域，变量只能一次赋值
● 以下划线作为匿名变量
● 数据类型：atom（原子），以小写字母开头，可简单地看作是没有引号的字符串
● 函数子句（clause）及其匹配（match）的概念
● 注释符号相同（%）
● 分号（;）在 Prolog 中是逻辑“或”（or）的句段分隔符，在 Erlang 中大体意思相同
● 列表（list）的表达和操作几乎完全相同
● 列表 list 是 prolog 最重要的数据结构，在 erlang 中似乎也是
● 同名函数（子句）以形参数目相区别
● 都使用子句匹配的递归循环，都没有 for、while 循环方式

从词法、句法、章法上，erlang 的语法相似于 prolog。词法：变量首字母大写；句法：子句；章法：子句匹配，递归循环。

Erlang 与 Lisp 相似之处，即它具有的函数语言的特征。
● 子句分成首体 2 部分，符号（->）前面的是子句头，后面的是子句体
● 有 lambda 高阶函数语法机制
Erlang 虽然同时具备 Prolog 和 lisp 的特征，但主要的、大部分的特征更象 Prolog。因此，把 Erlang 当做逻辑式函数语言，会更有利于对它的理解掌握。
三、对 Erlang 实用化的理解

对许多人来说，Erlang 的语法（包括词法、句法、章法）有些怪异。这是因为 Erlang 的编程方式，基本上是“说明式”的，不是人们熟悉的“过程式”的。解决这个困难问题的办法之一，是对 Erlang 作“过程式”的解释。
以计算阶乘的函数子句为例：
fac(1) ->    1;fac(N) ->    N * fac(N - 1).
做点修改可能看得更清楚些：
fac(1) ->    1;fac(N) ->    M = fac(N - 1),    N * M.
它的本意是：如果参数值为1，返回 1；否则，求出 N - 1 的阶乘 M，返回 N 与 M 的乘积。
其实，Erlang 子句的结构形式，与 Prolog 一样，具有逻辑编程的意义，在符号 -> 前面的是测试判断的条件，后面的是测判后的操作行为结果。分号（;）在此是or（否则）的意思。
由于第二个子句是递归循环，于是，第一子句也是递归循环终止的限制条件。
翻译成 c 语言程序，代码是这样的：
int fac( n ){    if (n==1)        return (n);    else         return (n * fac(n - 1));}
以上是2个子句一组的函数，构成 if-then-else 的逻辑关系。
Erlang 也有1个子句的函数，表示 if-then 的关系。如：
start() ->    spawn(tut14, say_something, [hello, 3]),    spawn(tut14, say_something, [goodbye, 3]).
这种没有形参的函数，相当于 if true then: 的无条件执行，即“过程式”函数。
对于 if-then-else 嵌套的逻辑，Erlang 是这样处理的：
● guard 机制。如：
list_max([], Res) ->    Res;list_max([Head|Rest], Result_so_far) when Head > Result_so_far ->    list_max(Rest, Head);list_max([Head|Rest], Result_so_far)  ->    list_max(Rest, Result_so_far).
第2子句首部多了个 when 测试。它实际上是 if 判断，逻辑行为如下：
if (Head > Result_so_far)    执行本子句（第2子句）中的语句；else    执行函数的第3子句；
● if 机制，case 机制。如：
month_length(Year, Month) ->
    Leap = if        trunc(Year / 400) * 400 == Year ->            leap;        trunc(Year / 100) * 100 == Year ->            not_leap;        trunc(Year / 4) * 4 == Year ->            leap;        true ->            not_leap    end,      case Month of        sep -> 30;        apr -> 30;        jun -> 30;        nov -> 30;        feb when Leap == leap -> 29;        feb -> 28;        jan -> 31;        mar -> 31;        may -> 31;        jul -> 31;        aug -> 31;        oct -> 31;        dec -> 31    end.
总之，以上大致是 Erlang 基本语法的主要内容。应该说，Erlang 的语法非常简单明瞭。