• Erlang是動(dòng)態(tài)類(lèi)型語(yǔ)言传泊。所有錯(cuò)誤都在運(yùn)行時(shí)被捕獲料仗，在編譯代碼時(shí)状婶，對(duì)于可能導(dǎo)致失敗的問(wèn)題意敛，編譯器并不總會(huì)給出警告

• 絕大多數(shù)語(yǔ)言和類(lèi)型系統(tǒng)都旨在寫(xiě)出沒(méi)有錯(cuò)誤的程序，但是Erlang卻認(rèn)為錯(cuò)誤肯定會(huì)發(fā)生

• Erlang在語(yǔ)言中提供了一些特性膛虫，基于這些特性可以很容易對(duì)錯(cuò)誤進(jìn)行平滑處理草姻，并且不會(huì)造成不必要的停機(jī)時(shí)間。所以Erlang的動(dòng)態(tài)類(lèi)型系統(tǒng)不是程序可靠性和安全性的障礙

• 動(dòng)態(tài)類(lèi)型是實(shí)現(xiàn)代碼熱加載的最簡(jiǎn)單方法稍刀。如果在靜態(tài)類(lèi)型系統(tǒng)中要實(shí)現(xiàn)熱加載其難度要遠(yuǎn)遠(yuǎn)高于動(dòng)態(tài)類(lèi)型

• Erlang同時(shí)還是一個(gè)強(qiáng)類(lèi)型語(yǔ)言碴倾。弱類(lèi)型語(yǔ)言會(huì)在不同的數(shù)據(jù)項(xiàng)之間做隱式的類(lèi)型轉(zhuǎn)換

  6 + "1"
  ** exception error: bad argument in an arithmetic expression
  in operator +/2
  call as 6 + "1"
  

• 和許多語(yǔ)言一樣，Erlang也可以通過(guò)強(qiáng)制轉(zhuǎn)換的方式改變數(shù)據(jù)的類(lèi)型

• 大多數(shù)的類(lèi)型轉(zhuǎn)換都不能用Erlang直接實(shí)現(xiàn)掉丽，所以這些操作都是BIF提供的

• 所有轉(zhuǎn)換函數(shù)的命名都采用TypeA_to_TypeB這樣的形式跌榔，都在erlang模塊中實(shí)現(xiàn)

  erlang:list_to_integer("54").
  erlang:integer_to_list(54).
  erlang:list_to_float("54.32").
  erlang:atom_to_list(true).
  erlang:list_to_binary("hi there").
  erlang:binary_to_list(<<"hi there">>).
  

• Erlang語(yǔ)言的一個(gè)小缺陷：因?yàn)楹瘮?shù)命名采用Type_to_Type這樣的形式，所以每當(dāng)語(yǔ)言中增加一個(gè)新的數(shù)據(jù)類(lèi)型時(shí)捶障，OTP團(tuán)隊(duì)就需要加入一整套BIF轉(zhuǎn)換函數(shù)

• 注意：BIF函數(shù)binary_to_term/2和binary_to_term/1對(duì)數(shù)據(jù)反序列化的方式一樣僧须。它們之間的最大的區(qū)別是binary_to_term/2的第二個(gè)參數(shù)是一個(gè)選項(xiàng)列表。如果傳入的是[safe]项炼，那么如果二進(jìn)制數(shù)據(jù)中含有未知的原子或匿名函數(shù)担平，就將不被解碼示绊，因?yàn)檫@有可能會(huì)耗盡節(jié)點(diǎn)的內(nèi)存或者隱藏著一個(gè)安全風(fēng)險(xiǎn)。如果要解碼的數(shù)據(jù)可能是不安全的暂论，那么請(qǐng)使用binary_to_term/2而不是binary_to_term/1

• Erlang有一些專(zhuān)門(mén)負(fù)責(zé)檢測(cè)數(shù)據(jù)類(lèi)型的函數(shù)面褐，它們接收一個(gè)參數(shù)，如果參數(shù)的數(shù)據(jù)類(lèi)型正確取胎，就返回true展哭，否則，就返回false闻蛀。它們是為數(shù)不多的匪傍、可以在衛(wèi)表達(dá)式中使用的函數(shù)，也稱(chēng)為類(lèi)型檢測(cè)BIF

  erlang:is_atom(false).
  erlang:is_integer(123).
  erlang:is_list("45.67").
  erlang:is_binary(<<"hi there">>).
  

• Erlang中沒(méi)有類(lèi)似type_of(X) -> Type的函數(shù)來(lái)獲取數(shù)據(jù)項(xiàng)的類(lèi)型觉痛。因?yàn)镋rlang只針對(duì)正確的情況編程役衡，你的程序只需要處理你所期望的情況，對(duì)于除此之外的其他情況薪棒，都應(yīng)該盡快的拋出異常

• 如果提供了一個(gè)type_of(X)的函數(shù)手蝎，就會(huì)慫恿人們?cè)诖a中寫(xiě)出條件分支

  my_func(Exp) ->
      case type_of(Exp) of
          binary -> Expression1;
          list -> Expression2
      end.
  

• 在Erlang中應(yīng)該在函數(shù)頭中指定所期望的數(shù)據(jù)類(lèi)型來(lái)進(jìn)行分支處理，而不是根據(jù)某個(gè)類(lèi)似type_of(X)的函數(shù)所返回的數(shù)據(jù)類(lèi)型來(lái)做不同處理俐芯。下面這種形式更符合Erlang語(yǔ)言內(nèi)在的聲明性

  my_func(Exp) when is_binary(Exp) -> Expression1;
  my_func(Exp) when is_list(Exp) -> Expression2.
  

• 所有可以在衛(wèi)表達(dá)式中使用的函數(shù)中棵介，類(lèi)型檢測(cè)BIF幾乎占了一大半。其余的也都是BIF泼各，只是不用于類(lèi)型檢測(cè)

• Erlang的數(shù)據(jù)結(jié)構(gòu)看起來(lái)似乎很有限鞍时，但是一般來(lái)講亏拉，僅用列表和元組就足以構(gòu)建其他復(fù)雜的數(shù)據(jù)結(jié)構(gòu)了

原文地址