在Elm语言中，“程序是由三个类型变量参数化的类型：标志，模型和msg”意味着什么？]

Question

[我正在学习Elm，方法是阅读Fairbank（https://pragprog.com/book/jfelm/programming-elm）的“ Programming Elm”，并经历与发布what does the elm signature mean in "Program Never Model Msg"?的人相同的成长烦恼– @dogbert的回复指出：] >

程序是由三个类型变量参数化的类型

这到底是什么意思？这是否意味着Program是一个函数，并且其参数的类型是三个类型变量？

因此

main: Program () {something: string} msg

说Program仅接受空标志，具有给定类型的模型和msg？

（顺便说一下，在这种情况下，main的类型是什么？也就是说，它是Program类型的函数？）

关于《用Elm编程》这本书的好处是，它可以使您快速起步，但不是那么好，因为它引入了一些内容（如上述内容），而没有详细介绍什么，确切地说，他们的意思是。我想我真的应该先阅读Elm网站上的教程，这是我的下一个目的地。但这里的任何帮助将不胜感激。

[我正在学习榆树，通过阅读Fairbank（https://pragprog.com/book/jfelm/programming-elm）的“ Programming Elm”，并经历了与发布内容的人相同的成长烦恼。 ...

Answer 1

Program是一种类型。这意味着我们可以拥有Program类型的值，例如

main: Program () {something: String} msg
main =
    Browser.sandbox { init = init, update = update, view = view }