ErLang語法中充滿了一些約定。大寫字母開頭的名字（比如Address），表示一個變量，包括參數(shù)、局部變量等；小寫字母開頭的單詞（比如ok），表示一個常量，叫做atom（原子的意思），包括常量名、函數(shù)名、模塊名等。

ErLang的注釋用%開頭。ErLang用下劃線“_”表示任意變量，類似于Java的switch語法里面的default選項。

ErLang脫胎于Prolog，不過，我覺得，ErLang語法和Haskell語法比較象，都是采用 -> 定義函數(shù)。

ErLang語句中的標點符號用法很象文章的標點符號。

整個函數(shù)定義結(jié)束用一個句號“.”；同一個函數(shù)中，并列的邏輯分支之間，用分號“;”分界；順序語句之間，用逗號“,”分隔。

ErLang中，{ }不是表示程序塊的開頭和結(jié)尾，而是表示一種特殊的數(shù)據(jù)結(jié)構(gòu)類型——Tuple（元組），比如，{12, 3, ok}。我們可以把Tuple理解為定長數(shù)組。

[ ] 則表示最基本的函數(shù)式編程的數(shù)據(jù)結(jié)構(gòu)類型——List。List數(shù)據(jù)結(jié)構(gòu)很基本，寫法和用法也有一定的復雜度，不是表面上看起來那么簡單，后面講解Closure的章節(jié)會詳細介紹List的最基本的構(gòu)造原理。

下面我們來看一個簡單的例子。

我們首先定義一個最簡單的函數(shù)，把一個參數(shù)乘以10，然后加1。
times10( Number ) –>
Temp = 10 * Number,
Temp + 1.

為了說明問題，上面的代碼把乘法操作和加法操作分成兩個步驟。Temp = 10 * Number語句后面是逗號，因為這是兩條順序執(zhí)行的語句。Temp + 1語句后面是句號，表示整個函數(shù)定義結(jié)束。而且，可以看出，ErLang沒有return語句，最后執(zhí)行的那條語句的執(zhí)行結(jié)果就是返回值。

下面，我們把這個函數(shù)優(yōu)化一下。當參數(shù)等于0的時候，直接返1；否則，就乘以10，然后加1，然后返回。這時候，我們就要用到case of邏輯分支語句，相當于java的switch語句。

times10( Number ) –>
case Number of
0 -> 1;
_ ->
Temp = 10 * Number,
Temp + 1
end.

我們來仔細觀察這段ErLang程序。

當Number等于0的時候，直接返回1。由于這是一條分支語句，和后面的分支是并列的關(guān)系，所以，1的后面的標點符號是分號。后面這個分支，下劃線“_”表示任何其它值，這里就表示除了1之外的任何其它數(shù)值。

需要注意的一點是，case of語句需要用end結(jié)尾，end之前不需要有標點符號。

上述代碼中的case of 語句，其實就是Pattern Match的一種。ErLang的Pattern Match很強大，能夠大幅度簡化程序邏輯，后面進行專門介紹。
Pattern Match
Pattern Match主要有兩個功能——比較分派和變量賦值。
其中，比較分派是最主要的功能。比較分派的意思是，根據(jù)參數(shù)值進行條件分支的分派。可以把比較分派功能看作是一種類似于if, else等條件分支語句的簡潔強大寫法。
上面的例子中，case Number of 就是根據(jù)Number的值進行比較分派。更常見的寫法是，可以把Pattern Match部分提到函數(shù)定義分支的高度。于是，上述代碼可以寫成下面的形式：
times10( 0 ) –> 1;
times10( Number ) –>
Temp = 10 * Number,
Temp + 1.

這段代碼由兩個函數(shù)定義分支構(gòu)成，由于兩個函數(shù)分支的函數(shù)名相同，而且參數(shù)個數(shù)相同，而且兩個函數(shù)定義分支之間采用分號“;”分隔，說明這是同一個函數(shù)的定義。函數(shù)式編程語言中，這種定義方式很常見，看起來形式很整齊，宛如數(shù)學公式。

這段代碼的含義是，當參數(shù)值等于0的時候，那么，程序走第一個函數(shù)定義分支（即分號“;”結(jié)尾的“times10( 0 ) –> 1;”），否則，走下面的函數(shù)定義分支（即“times10( Number ) –>…”）。

第二個分支中的參數(shù)不是一個常數(shù)，而是一個變量Number，表示這個分支可以接受任何除了0之外的參數(shù)值，比如，1、2、12等等，這些值將賦給變量Number。
因此，這個地方也體現(xiàn)了Pattern Match的第二個功能——變量賦值。

Pattern Match的形式可以很復雜，下面舉幾個典型的例子。
（1）數(shù)據(jù)結(jié)構(gòu)拆解賦值
前面將到了ErLang語言有一種相當于定長數(shù)組的Tuple類型，我們可以很方便地根據(jù)元素的位置進行并行賦值。比如，
{First, Second} = {1, 2}
我們還可以對復合Tuple數(shù)據(jù)結(jié)構(gòu)進行賦值，比如
{A, {B, C}, D} = { 1, {2, 3}, 4 }
List數(shù)據(jù)結(jié)構(gòu)的賦值也是類似。由于List的寫法和用法不是那么簡單，三言兩語也說不清楚，還徒增困擾，這里不再贅述。
（2）assertEquals語句
在Java等語言中，我們寫單元測試的時候，會寫一些assert語句，驗證程序運行結(jié)果。這些assert語句通常是以API的方式提供，比如，assertTrue()、assertEquals()等。
在ErLang中，可以用簡單的語句達到類似于assertTrue()、assertEquals()等API的效果。
比如，ErLang中，true = testA() 這樣的語句表示testA的返回結(jié)果必須是true，否則就會拋出異常。這個用法很巧妙。這里解釋一下。
前面講過，ErLang語法約定，小寫字母開頭的名字，都是常量名。這里的true自然也是一個常量，既然是常量，我們不可能對它賦值，那么true = testA()的意思就不是賦值，而是進行匹配比較。
（3）匹配和賦值同時進行
我們來看這樣一段代碼。
case Result of
{ok, Message} -> save(Message);
{error, ErrorMessage} -> log(ErrorMessage)
end.

這段代碼中，Result是一個Tuple類型，包含兩個元素，第一個元素表示成功（ok）或者失敗（error），第二個元素表示具體的信息。
可以看到，這兩個條件分支中，同時出現(xiàn)了常量和變量。第一個條件分支中的ok是常量，Message是變量；第二個條件分支中的error是常量，ErrorMessage是變量。
這兩個條件分支都既有比較判斷，也有變量賦值。首先，判斷ResultTuple中的第一個元素和哪一個分支的第一個元素匹配，如果相配，那么把ResultTuple中的第二個元素賦給這個分支的第二個變量元素。即，如果Result的第一個元素是ok，那么走第一個條件分支，并且把Result的第二個元素賦給Message變量；如果Result的第二個元素是error，那么走第二個條件分支，并且把Result的第二個元素賦給ErrorMessage變量。

在Java等語言中，實現(xiàn)上述的條件分支邏輯，則需要多寫幾條語句ErLang語法可以從形式上美化和簡化邏輯分支分派復雜的程序。
除了支持數(shù)相等比較，Pattern Match還可以進行范圍比較、大小比較等，需要用到關(guān)鍵字when，不過用到when的情況，就比if else簡潔不了多少，這里不再贅述。
匿名函數(shù)
ErLang允許在一個函數(shù)體內(nèi)部定義另一個匿名函數(shù)，這是函數(shù)式編程的最基本的功能。這樣，函數(shù)式語言才可以支持Closure。我們來看一個ErLang的匿名函數(shù)的例子。
outer( C ) –>
Inner = fun(A, B) -> A + B + C end,
Inner(2, 3).

這段代碼首先定義了一個命名函數(shù)outer，然后在outer函數(shù)內(nèi)部定義了一個匿名函數(shù)。可以看到，這個匿名函數(shù)采用關(guān)鍵字fun來定義。前面講過，函數(shù)式編程的函數(shù)就相當于面向?qū)ο缶幊痰念悓嵗龑ο螅涿瘮?shù)自然也是這樣，也相當于類實例，我們可以把這個匿名函數(shù)賦給一個變量Inner，然后我們還可以把這個變量當作函數(shù)來調(diào)用，比如，Inner(2, 3)。
fun是ErLang用來定義匿名函數(shù)的關(guān)鍵字。這個關(guān)鍵字很重要。fun定義匿名函數(shù)的用法不是很復雜，和命名函數(shù)定義類似。
函數(shù)分支的定義也是類似，只是需要用end結(jié)尾，而不是用句號“.”結(jié)尾，而且fun只需要寫一次，不需要向命名函數(shù)那樣，每個分支都要寫。比如，
MyFunction = fun(0) -> 0;
(Number) -> Number * 10 + 1 end,
MyFunction(3),
函數(shù)作為變量
匿名函數(shù)可以當作對象賦給變量，命名函數(shù)同樣也可以賦給變量。具體用法還是需要借助重要的fun關(guān)鍵字。比如，
MyFunction = fun outer / 1

就可以把上述定義的outer函數(shù)賦給MyFunction變量。后面的 / 0表示這個outer函數(shù)只有一個參數(shù)。因為ErLang允許有多個同名函數(shù)的定義，只要參數(shù)個數(shù)不同，就是不同的函數(shù)。
我們可以看到，任何函數(shù)都可以作為變量，也可以作為參數(shù)和返回值傳來傳去，這些變量也可以隨時作為函數(shù)進行調(diào)用，于是就具有了一定的動態(tài)性。
函數(shù)的動態(tài)調(diào)用
ErLang有一個apply函數(shù)，可以動態(tài)調(diào)用某一個函數(shù)變量。
基本用法是 apply( 函數(shù)變量，函數(shù)參數(shù)列表 )。比如，上面的MyFunciton函數(shù)變量，就可以這么調(diào)用，apply( MyFunction, [ 5 ])。
那么我們能否根據(jù)一個字符串作為函數(shù)名獲取一個函數(shù)變量呢？這樣我們就可以根據(jù)一個字符串來動態(tài)調(diào)用某個函數(shù)了。
ErLang中，做到這一點很簡單。前面講過，函數(shù)名一旦定義了，自然就固定了，這也類似于常量名，屬于不可變的atom（原子）。所有的atom都可以轉(zhuǎn)換成字符串，也可以從字符串轉(zhuǎn)換過來。ErLang中的字符串實質(zhì)上都是List。字符串和atom之間的轉(zhuǎn)換通過list_to_atom和atom_to_list來轉(zhuǎn)換。
于是我們可以這樣獲取MyFunciton：MyFunction = list_to_atom(“outer”)
如果outer函數(shù)已經(jīng)定義，那么MyFucntion就等于outer函數(shù)，如果outer函數(shù)沒有定義，那么list_to_atom(“outer”)會產(chǎn)生一個新的叫做outer的atom，MyFucntion就等于這個新產(chǎn)生的atom。
如果需要強制產(chǎn)生一個已經(jīng)存在的atom，那么我們需要調(diào)用list_to_existing_atom轉(zhuǎn)換函數(shù)，這個函數(shù)不會產(chǎn)生新的atom，而是返回一個已經(jīng)存在了的atom。
Tuple作為數(shù)據(jù)成員集合
前面講解函數(shù)式編程特性的時候，提到了函數(shù)式編程沒有面向?qū)ο缶幊痰某蓡T變量，這是一個限制。
ErLang的Tuple類型可以一定程度克服這個限制。Tuple可以一定程度上擔當容納成員變量的職責。
面向?qū)ο蟮念惗x，其實就是一群數(shù)據(jù)和函數(shù)的集合，只是集合的成員之間都有一個this指針相關(guān)聯(lián)，可以相互找到。
ErLang的Tuple類型就是數(shù)據(jù)的集合，可以很自然地發(fā)揮成員變量的作用，比如，{Member1, Member2}。
讀者可能會說，ErLang的函數(shù)也可以作為變量，也可以放到Tuple里面，比如， { Memer1, Member2, Funtion1, Function2}。這不就和面向?qū)ο缶幊桃粯恿藛幔?
遺憾的是，這樣做是得不償失的。因為函數(shù)式編程沒有面向?qū)ο蟮哪欠N內(nèi)在的this指針支持，自然也沒有內(nèi)在的多態(tài)和繼承支持，硬把數(shù)據(jù)和函數(shù)糅合在一個Tuple里面，一點好處都沒有，而且還喪失了函數(shù)作為實例對象的靈活性。
所以，函數(shù)式編程的最佳實踐（Best Practice）應該是：Tuple用來容納成員數(shù)據(jù)，函數(shù)操作Tuple。Tuple定義和函數(shù)定義加在一起，就構(gòu)成了松散的數(shù)據(jù)結(jié)構(gòu)，功能上類似于面向?qū)ο蟮念惗x。Tuple + 函數(shù)的數(shù)據(jù)結(jié)構(gòu)，具有多態(tài)的特性，因為函數(shù)本身能夠作為變量替換；但是不具有繼承的特性，因為沒有this指針的內(nèi)在支持。
正是因為Tuple在數(shù)據(jù)類型構(gòu)造方面的重大作用，所以，ErLang專門引入了一種叫做Record的宏定義，可以對Tuple的數(shù)組下標位置命名。比如，把第一個元素叫做Address，第二個元素叫做Zipcode，這樣程序員就可以這些名字訪問Tuple里面的元素，而不需要按照數(shù)組下標位置來訪問。
Tuple和Record的具體用法還是有一定復雜度，限于篇幅，本章沒有展開說明，只提了一些原理方面的要點。
其它
ErLang還有其它語法特性和細節(jié)，不再一一贅述。有興趣的讀者，可以自行去ErLang網(wǎng)站（www.erlang.org）進行研究。