Comprender los tipos de unión genéricos en Elm
Tengo problemas para entender qué es exactamenteHtml msg
tipo es, o cómo se usa. Encontré esta línea de código en VirtualDom.elm, queHtml msg
parece ser un alias de:
type Node msg = Node
Esto parece un tipo de unión genérico con un parámetro de tipo,msg
, y un caso trivial que no contiene información adicional. Me pregunto:
div
función construir uno de estos objetos?¿Cómo se usa un objeto como este?¿Cómo podría un objeto como este acostumbrarse?¿Hay algún valor para que un usuario defina un tipo como este, o esHtml msg
solo un tipo mágico para soportar el compilador / tiempo de ejecución de Elm?