输入签名

在 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