《Erlang程序设计》学习笔记-第3章 顺序型编程

摘自：http://hi.baidu.com/zai215837829/blog/item/2f4fc2c770c882019d163d80.html

1. 自定义的for循环结构：

    for(Max, Max, F) -> [F(Max)];
    for(I, Max, F) -> [F(I) | for(I+1, Max)].

2. -import(lists, [map/2, sum/1]. 导入lists模块中的map/2和sum/1函数，这样再应用时可以直接写map(...)和sum(...)了。

3. 列表解析： [F(X) || X <- L]。例子：
    [ 2*X || X <- L]   %% 将列表L的元素＊2，生成新的列表。
    [{Name, 2*Number} || {Name, Number} <- Buy]
    [shop:cost(A)*B || {A, B} <- Buy]
    map(F, L) -> [F(X) || X <- L].

4. 列表解析的常见形式：[X || Qualifier1, Qualifier2, ...]
    X是一个任意的表达式，每一个限定词可以是一个生成器，也可以是一个过滤器。
    生成器： Pattern <- ListExpr， ListExpr必须是一个对列表项求值的表达式。
    过滤器： 可以是一个返回true或false的函数，也可以是一个布尔表达式。
    其实，生成器的Pattern也可以起到过滤器的作用，如：
        [X || {a, X} <- [{a, 1}, {b, 2}, {c, 3}, {a, 4}, hello, "wow"]].           %% 返回值：[1,4]
        相当于[X || {A, X} <- [{a, 1}, {b, 2}, {c, 3}, {a, 4}, hello, "wow"], A=:=a].   
    map18. A++B，是将列表B附加到列表A上生成一个新的列表，但效率不高。
    A--B，是从列表A中删除与B中元素相同的所有元素，如果元素X在B中出现K次，则会从A中依次删除K个元素X。

5. 断言（guard）是一种用于强化模式匹配功能的结构。


6. 在函数定义的头部使用断言时，必须以关键字when开头。如：

    max(X, Y) when X > Y -> X;
    man(X, Y) -> Y.

7. 可以在任何允许使用表达式的地方使用断言，当断言用于表达式时，它要么返回原子true(认为是求值成功)，要么返回原子false（求值失败）。


8. 断言序列：
    一组用逗号分隔的断言表达式表示的是and关系，即所以的断言为true，整个断言序列才为true。
    一组用分号分隔的断言表达式表示的是or关系

9. 断言谓词：
    is_atom(X）
    is_binary(X)
    is_constant(X)
    is_float(X)
    is_function(X)
    is_function(X, N)
    is_integer(X)
    is_list(X)
    is_number(X)
    is_pid(X)
    is_port(X)
    is_reference(X)
    is_tuple(X)
    is_record(X, Tag)
    is_record(X, Tag, N)

10. 断言BIF
    abs(X)                    X的绝对值
    element(N, X)        元组X的第N个元素
    float(X)                    将数字N转换为浮点数
    hd(X)                        列表X的头部
    length(X)                   列表X的长度
    node()                        当前节点
    node(X)                    进程X的节点
    round(X)                将数字X转换为整数（四舍五入）
    self()                    当前进程的标识符
    size(X)                    X的大小，X为元组或二进制数据
    trunc(X)                将数字X转换为整数（截取）
    tl(X)                        列表X的尾部

11. 尽量在一个列表的头部进行操作，尽量避免用到List++[H]这样的代码，除非List很短。通常要以自然顺序创建列表。规则如下：
    （1）总是在列表头部添加元素。
    （2）从一个输入列表的头部提取元素，然后把它们加在一个输出列表的头部。输出列表中的结果与输入列表的顺序相反。
    （3）如果顺序至关重要，那么调用经过高度优化的函数list:reverse/1。 （这个函数是在erlang虚拟机中实现的，经过了高度的优化）。
    （4）避免违反这些原则。