尝试学习具有JS背景知识的Elm以及在强类型和静态类型语言方面的经验,我发现主要的难点在于类型语法(以及通常用于Elm的类型).不幸的是,我发现这些文档在这方面非常有用.
如果我在这里采用简单的例子:http://elm-lang.org/examples/buttons,行:
type Msg = Increment | Decrement
将联合类型Msg定义为“正在”递增或递减.它似乎表明增量和减量也是类型.它们究竟是什么? (它们未在示例中的其他位置定义,也不是预定义类型).
然后,它们在视图函数中用作onClick的参数.现在,它们似乎就像一种“信息”(无论那意味着什么).在JS中,这可能是通过在每种情况下为(可变)变量赋值来实现的 – 当然这不是Elm方式.那么,类型的工作方式是否与不变性主题相关?
视图功能:
view model =
div []
[ button [ onClick Decrement ] [ text "-" ],div [] [ text (toString model) ],button [ onClick Increment ] [ text "+" ]
]
我认为这可能会打开一个更广泛的主题(如果有人可以指出有用的链接,谢谢!)但我的问题是:这里有什么增量和减量?它们如何适合Elm的类型系统?