Elixir 函數(shù)規(guī)格

round(number) :: integer

::意味著左邊的函數(shù)的返回值會(huì)是右邊的類型.函數(shù)規(guī)格是使用@spec指令來寫的,放在函數(shù)定義上面.函數(shù)round/1可以這樣寫:

@spec round(number) :: integer
def round(number), do: # implementation...

Elixir也支持復(fù)合類型.例如,一個(gè)整數(shù)列表的類型是?[integer]?.你可以在類型規(guī)格文檔中看到所有的Elixir內(nèi)置類型.