elm - 榆树签名在 "Program Never Model Msg"中意味着什么？

Question

我刚开始使用 elm，不了解 Haskell 及其编译器我试图了解签名在 Html.program

中的含义

func: (a -> String) -> String -- this means expects a function and return a string
main: Program Never Model Msg -- What does this mean?

Answer 1

Program 是由三个类型变量参数化的类型:flags , model , 和 msg . Never 是一种不能有任何值的类型(有关这意味着什么以及它与单位类型 () 的区别的详细解释，请参阅链接)。

Program Never Model Msg therefore 是没有任何标志( Never )的程序类型，具有 Model 类型的模型, 并传递 Msg 类型的消息.