一：函数
1：在Erlang中，【名字相同但参数数目不同】的两个函数是完全不同的函数。
2：其他模块内的函数用完全限定名称 被调用：
-module(sort1).
-export([reverse_sort/1, sort/1]).
reverse_sort(L) ->
lists1:reverse(sort(L)).
sort(L) ->
lists:sort(L).
3：子句间以分号【;】分隔，在最后的结尾处以【.】结尾。
4：每个函数都由一组子句组成。子句间以分号“;”分隔。每个子句都包含一个子句头部、一个可选的保护式和子句主体。子句的头部包含一个函数名和一组以逗号分隔的参数当函数调用发生时，将会按顺序对函数定义中的子句头部依次进行匹配。对保护式求值时所有的断言都将被求值。若所有断言都为真，则保护式成立，否则就失败。保护式中各个断言的求值顺序是不确定的。
如果保护式成立，则会对子句的主体进行求值。如果保护式失败，则尝试下一个候选子句。一旦子句的头部和保护式都匹配成功，系统将指定这条子句并对其主体求值。子句首部模式与保护式的组合可以唯一确定一个正确的子句。
保护式断言的完整集合如下：
| 保护式 | 成立条件 |
|---|---|
| atom(X) | X 是一个原子式 |
| constant(X) | X 不是列表或元组 |
| float(X) | X 是一个浮点数 |
| integer(X) | X 是一个整数 |
| list(X) | X 是一个列表或 [] |
| number | X 是一个整数或浮点数 |
| pid(X) | X 是一个进程标识符 |
| port(X) | X 是一个端口 |
| reference(X) | X 是一个引用 |
| tuple(X) | X 是一个元组 |
| binary(X) | X 是一段二进制数据 |
另外，一些BIF和算术表达式的组合也可以作为保护式。它们是：
element/2, float/1, hd/1, length/1, round/1, self/0, ze/1
trunc/1, tl/1, abs/1, node/1, node/0, nodes/0
可以出现在保护式中的项式比较运算符如下：
| 运算符 | 描述 | 类型 |
|---|---|---|
| X > Y | X 大于Y | coerce |
| X < Y | X 小于Y | coerce |
| X =< Y | X 小于或等于Y | coerce |
| X >= Y | X 大于或等于Y | coerce |
| X == Y | X 等于Y | coerce |
| X /= Y | X 不等于Y | coerce |
| X =:= Y | X 等于Y | exact |
| X =/= Y | X 不等于Y | exact |
