Понимание универсальных типов объединения в Elm
У меня возникли проблемы с пониманием, что именноHtml msg
Тип есть, или как он привык. Я нашел эту строку кода в VirtualDom.elm, которыйHtml msg
кажется псевдонимом:
type Node msg = Node
Это выглядит как универсальный тип объединения с одним параметром типа,msg
и один тривиальный случай, который не содержит никакой дополнительной информации. Я задаюсь вопросом:
div
Функция построить один из этих объектов?Как такой объект привыкнуть?Как такой объект может привыкнуть?Есть ли какое-либо значение для пользователя, чтобы определить тип, подобный этому, илиHtml msg
просто магический тип для поддержки компилятора / среды исполнения Elm?