AP
Конструкторы значений и конструкторы типов в разных пространствах имён живут
Size: a a a
2019 December 22
RT
Вот чтобы так объединить все в нечто Thing не делал никогда.
RT
Как вы написали
AP
Хмм. В Elm при объединении разных типов Msg ровно этот приём испольузется же, не?
AP
import Foo
import Bar
type Msg
= Foo Foo.Msg
| Bar Bar.Msg
AP
(плюс
Html.map в собирательной view)RT
Подвис даже. Надо обдумать.
RT
Даже не знаю что то смутило...
AP
(плюс
Html.map в собирательной view)view : Model -> Html Msg
view m = Html.div []
[ Html.map Foo <| Foo.view m.foo
, Html.map Bar <| Bar.view m.bar
]AP
Модели композятся через произведение типов, сообщения — через сумму типов.
RT
Да кучу подобного уже написал.
AP
Вот я и удивляюсь :)
AP
С TEA трудно не сталкиваться с суммами типов :)
RT
Да меня не сумма смутила
RT
RT
Ты ведь так хотел ?
RT
Вот именно в таком виде и смутило
AP
Забыли тип Example объявить
AP
Formula есть, а Example нет
RT
Да. Но дело все равно не в этом