Erlang 入门

1、变量

所有变量必须以大写字母开头。

如：X

　　Y

2、模式匹配

在Erlang中，=表示一个模式匹配操作， Lhs=Rhs实际是对右端求后，将结果与左端求值进行匹配。 其中如果左端为未绑定变量，则完全匹配，并赋值到左端。

3、浮点数

"/"永远返回浮点数， N div M 和 N rem M是用于整数除和取余数。

如：0.32

4、原子

在Erlang中，原子用来表示不同非数字常量值;

原子是以一串以小写字母开头，后跟数字字母或下划线或邮件符号的字符串；使用单引号引起来的字符串也是原子。

如：red、cat、joe@somhost、a_lang_name、'an atom'

 

5、元组(tuple)

将若干个以逗号分割的值用一对花括号括起来，就形成了一个元组。

如：{1,a,3}

　　{3,"adsf",2}

　　{person,{name,joe}}

创建元组：

 　　F = {firstName, joe}

       P = {person, F}

取元组中字段值：

       Point = {point, 10, 45}

       取值 10，45可以如下操作

       {point, X,Y} = Point.或者{_,X,Y}

6、列表

 将若干个以逗号分割的值用一对方括号括起来，就形成了一个列表。

如：[{apple,10},{pears,6}]

定义列表：

如果T是一个列表，那么[H|T]也是一列表。

竖线符号(|)可以将列表的头和尾分隔开来，面[]表示空列表。

也可以用[[E1,E2,...|T]这种形式向T的起始加入多个元素。并不能从后加入呢。

常用成员函数：

foldl:   %%    foldl(Fun, Acc0, List) -> Acc1
> lists:foldl(fun(X, Sum) -> X + Sum end, 0, [1,2,3,4,5]).

Fun的参数为(Elem, AccIn), 其中AccIn 以Acc0初始化，返回值累计值，作为下一次AccIn的输入值。 从左向右。

filter： %%    filter(Pred, List1) -> List2
> lists:filter(fun(X) -> X > 5 end, [1,2,3,4,5,6,7]).
对成员进行过滤， 成员通过函数返回true的，构成一个列表

append： %% append(List1, List2) -> List3

> lists:append("abc", "def").
追加列表，都到一个新列表 。lists:append(A, B) 等同 A ++ B.

 

 

 7、字符串

严格意义上，Erlang并没有字符串，字符串实际是一个整数列表。用(")将一串字符括起来就是一个字符串。

如：Name = "Hello".

[83,117,114,112,114,105,115,101].就是"Surprise"

8、记录

记录就是一个提供了基于名字访问成员的元组。

记录的结构如下：

record在原代码文件中定义
-record(person, {name="",phone=[], address}).

定义记录:

在console中的定义

rd(person,{name="",phone=[],address}).

创建记录：

P = #person{phone=[0,3,2,4,5], name="robert"}.

访问字段：

P#person.name.

 更新记录：

P2 = P#person{name="joe"}.

匹配：

#person{name=Name} = P2, Name.

Shell 命令:rr/1  读入文件中的记录

(om@Vaio)5> rr(usr).
[usr]

9、进程词典

每个进程都有一个名叫“进程字典”的本地存储。 如下的BIF用来操作它：（对原值操作时，都会返回旧值）
get() 返回整个进程词典

get(Key) 返回与Key关联的内容(Key 是任意erlang结构), 或者，未找到返回undefined.
put(Key, Value) 把值和键进行关联 .返回与该值关联的旧值

erase() 清空整个词典

erase(Key) 清空指定键

get_keys(Value) 取指定键

10、守护判断

        number(X)       - X is a number
        integer(X)      - X is an integer
        float(X)        - X is a float
        atom(X)         - X is an atom
        tuple(X)        - X is a tuple
        list(X)         - X is a list
       
        length(X) == 3  - X is a list of length 3
        size(X) == 2    - X is a tuple of size 2.
       
        X > Y + Z       - X is > Y + Z
        X == Y          - X is equal to Y
        X =:= Y         - X is exactly equal to Y
                          (i.e. 1 == 1.0 succeeds but
                           1 =:= 1.0 fails)