輸入簽名

在 Elm 中,通過寫一個名稱,一個等號,然後是實際值來宣告值:

someValue = 42

函式也是值,新增一個或多個值作為引數。它們通常寫成如下:

double n = n * 2

Elm 中的每個值都有一個型別。上述值的型別將由編譯器根據它們的使用方式推斷。但最佳做法是始終顯式宣告任何頂級值的型別,為此你要編寫型別簽名,如下所示:

someValue : Int
someValue = 
    42

someOtherValue : Float
someOtherValue =
    42

正如我們所看到的,42 可以被定義為無論是一個 IntFloat。這具有直觀意義,但請參閱型別變數以獲取更多資訊。

與函式一起使用時,型別簽名特別有用。這是以前的倍增功能:

double : Int -> Int
double n =
    n * 2

這次,簽名有一個 ->,一個箭頭,我們將簽名發音為 int to int,或者取一個整數並返回一個整數-> 表示通過給 double 一個 Int 值作為引數,double 將返回 Int。因此,它需要一個整數到整數:

> double
<function> : Int -> Int

> double 3
6 : Int