Understanding generic union types in Elm
Ich habe einige Probleme zu verstehen, was genau dasHtml msg
Typ ist, oder wie es verwendet wird. Ich habe diese Codezeile in VirtualDom.elm gefunden, dieHtml msg
scheint ein Alias von: @ zu se
type Node msg = Node
Dies sieht aus wie ein generischer Vereinigungstyp mit einem Typparameter,msg
und ein trivialer Fall, der keine zusätzlichen Informationen enthält. Ich frage mich
div
Funktion eines dieser Objekte konstruieren?Wie wird ein Objekt wie dieses verwendet?Wie könnte ein Objekt wie dieses verwendet werden?Ist ein Benutzer in der Lage, einen Typ wie diesen zu definieren, oder istHtml msg
nur ein magischer Typ zur Unterstützung des Elm-Compilers / der Elm-Laufzeit?