erlang学习1

q().----退出erlang's console

f().----撤销遍历绑定

pwd().--打印当前目录

cd("f:/sinpo").--进入指定目录

c(geometry).--编译文件

geometry:sum(L).--列表求和

Z = fun(X) -> 2 * X end. --匿名函数

%% erl中实现for循环
for(Max,Max,F) -> [F(Max)];
for(I,Max,F) ->[F(I)|for(I+1,Max,F)].

%%map定义
map(_,[]) -> [];
map(F,[H|T]) -> [F(H)|map(F,T)].

%%断言guard,是强化模式匹配的一种结构

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

%%列表record
record定义： (record定义在.erl源码或.hrl文件中)
-record(todo, {status=reminder,who=joe,text}).
rr("records.hrl"). ----console控制台导入.hrl record

X1 = #todo{status=urgent,text = "this is a test!"}. ---record创建及更新赋值

X2 = X1#todo{status = done}. ---创建X1副本，并改变status字段的值为原子：done

#todo{who = W,text = Txt} = X1. ---模式匹配获得record中字段

X1#todo.text ---点语法获得单个字段

rf().---告诉shell，注释掉记录定义(记录就是元组，只不过使命名元组中不同元素的语法简化而已)

%%case表达式(Guard1->为可选断言)

case Expression of
Pattern1 [when Guard1] -> Expr_seq1;
Pattern1 [when Guard2] -> Expr_seq2;
...
end

例子：filter函数定义

filter(P,[H|T]) ->
case P(H) of
true -> [H|filter(P,T)];
false -> filter(P,T)
end;
filter(P,[]) ->
[].

%%if表达式(Guard1->断言必须)
根据断言验证成功与否决定执行分支
if
Guard1 ->
Expr_seq1;
Guard2 ->
Expr_seq2;
...
end

注：通常if表达式的最后一个断言为true,可保证表达式最后一个分支被求值。