榆树签名在＆＃34; Program Never Model Msg＆＃34 ;?中意味着什么？

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的模型，并传递类型为{{{ 1}}。