"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 is a type parameterized by three type variables: flags, model, and msg. Never 是一种不能有任何值的类型（请参阅 link 以了解其含义以及它与单位类型 () 的不同之处）。

因此，

Program Never Model Msg 是一种没有任何标志 (Never) 的程序类型，具有 Model 类型的模型，并传递 [=] 类型的消息19=]。