輸入簽名

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

someValue = 42

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

double n = n * 2

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

someValue : Int
someValue = 
    42

someOtherValue : Float
someOtherValue =
    42

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

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

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

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

> double
<function> : Int -> Int

> double 3
6 : Int