Elm:这个初始化是如何工作的？

Question

type alias Model =
  { dieFace : Int
  }


init : (Model, Cmd Msg)
init =
  (Model 1, Cmd.none)

为什么整数1会被传递给模型ala Model 1？

类型别名似乎需要记录？

Answer 1

Elm 中没有太多无法解释的魔法(有充分的理由)，但有一点是类型和类型别名构造函数。每当您创建类型(别名)时，您都会免费获得一个构造函数。所以，用你的例子，

type alias Model =
  { dieFace : Int
  }

给你一个(有点奇怪的)构造函数

Model : Int -> Model 

免费。如果您在记录中添加更多条目，像这样

type alias Model =
  { dieFace : Int
  , somethingElse : String
  }

构造函数接受更多参数。

Model : Int -> String -> Model 

它们的顺序与记录条目的顺序相同，因此如果您更改类型别名的顺序，则必须将参数顺序更改为构造函数。

联合类型的工作方式类似。

type Shape
  = Circle Int
  | Square Int Int 

悄悄地创建构造函数:

Circle: Int -> Shape 
Square : Int -> Int -> Shape