榆树签名在“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是没有任何标志的程序类型（Never），具有Model类型的模型，并传递Msg类型的消息。