考虑一下这个sn-p：
type alias Model =
{ x : Int }
testFunc : Model -> Html String
testFunc model =
div [] []
我在这里很困惑。 div 是一个返回 Html msg 的函数。但是testFunc 返回Html String。
这是如何编译的？我在这里错过了一些非常基本的理解吗？
【问题讨论】：
标签： elm
你可以有点像对待Generics in Object Oriented programming一样对待msg。尽管概念相似，但这在技术上并不正确。请记住，严格来说，泛型并不是正确的术语。
话虽如此，div 是一个返回值Html 的函数，其“通用”类型为msg（其中msg 可以是任何类型）。这将在 Java 或 C# 中写为Html<A>，其中A 是任何类型的占位符。
Elm 有type inference，所以当testFunc 的返回类型是Html String Elm 推断 msg 因此必须是String 类型。
另请注意 Elm 要求泛型类型为小写（例如 msg）。在 Elm 代码中经常会让人感到困惑，因为人们通常会定义一个真正的 Msg 类型并将通用占位符类型命名为 msg。
【讨论】：
Animal 对象作为参数，您也可以使用Dog 对象（假设Dog 类继承自Animal）。而类型推断更多的是关于编译器在没有代码显式设置的情况下计算出一个类型。例如使用let a = "some text"，Elm 可以从代码中推断出a 的类型必须为String
请记住小写和大写类型定义之间的区别。 div 签名中的小写msg 是泛型类型。它可以被命名为a，或者任何以小写开头的名字。
在您对testFunc 的定义中，您只是在使用div，返回类型为String，这对于elm 编译器来说不是问题：这很可能是您的Msg 类型。
换句话说，div的返回类型不是Html Msg，而是Html msg。这允许您将它与组件定义的任何消息一起使用，并使其真正通用。
【讨论】：
Html String如何接受泛型类型的Html msg？
Html msg 接受作为Html String 返回，因为msg 实际上可以是任何东西。例如，对于列表函数，它们通常被定义为接受List a，而不是专门定义为List String。这样您就可以将它们与List Int 等一起使用，而无需重新定义新功能。在该主题上结帐this reddit discussion，它可能会对您有所帮助。