мхм

и правда

Flare демонстрирует тот же подход, который используют digestive-functors в хаскеле - описываем на некоторм DSL одновременно и валидатор для рекорда и форму для редактирования этого же рекорда.

о, наконец-то я прочитал этот ник целиком

лол

Фух, накидал комбинаторов для нормального композа разнотиповых на входе подвьюх в один список Html, а то разматчивать во вложенные кортежи а ля

let
     (((h1, h2), h3), h4) =
        (v1 <|> v2 <|> v3 <|> v4) model
in div [] [h1, h2, h3, h4]

было как то некрасиво

Теперь вот так выглядит:

где (view <: view <:: ... <:: view) : List (Html msg) - можно сразу в контейнер пихать (https://github.com/astynax/tea-combine/blob/master/examples/form/Main.elm#L15)

Теперь можно делать демку с нормальной формой :)

Думаю, что получится что-то типа

initForm =
     initText "name"
     <> initCheckbox "adult"
     <> initNumber "Height"
     <> initSelect
           "Eye color" colors 

viewForm =
    form []
      << (   viewText
         <:  viewCheckbox
         <:: viewNumber
         <:: viewSelect )

updateForm =
    updateText
    <&> updateCheckbox
    <&> updateNumber
    <&> updateSelect

На выходе из формы, правда, получится что-то типа (((String, Bool), Int), Color). Но зато все типы - конкретные, никаких Dict String String

Делюсь пет-проектом: https://github.com/1602/elm-feather это elm порт моднейшего сета svg иконок https://feathericons.com/

Надеюсь, это сгенерированный код? Руками эльмифицировать такое кол-во SVG мне лично было бы лень :)

Кто знает, почему в Elm компилируется такое:

x : List List Int
x = Debug.crash ""

List же принимает один аргумент, а не два, поэтому должно свалиться с ошибкой

Предположу, что Debug.crash выводится в "любой тип" и поэтому пока ты x не используешь, ошибка в типе может и не всплыть

тип List List Int вообще невалиден

Ага, но пропускается. Я попробовал создать значение этого типа - пока не вышло :)

Создай ишшу