榆树签名在"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因此,程序的类型没有任何flags(Never),具有类型的模型Model,并传递类型的消息Msg.