Но тут уж все обычно ZenCoding/Emmet используют. Эти и пофичастее будут. У меня же всё простое донельзя

Я эту свою тулзу писал для одного проекта, где нам нужно было на пару с коллегой перевигачивать pixel perfect макет на BEM в хаскельный DSL, чтобы эту идеально мёртвую вёрстку оживить кодом (JS писать был не вариант ;))

Причём при построении дерева трекались блоки бэмовские и прочие миксы, что сильно ускоряло процесс.

Ну и писать тул было всяко веселее, чем руками перелопачивать HTML — что не сделаешь, лишь бы не работать! :)

Вот уж что правда, то правда)

Всем добра! Актуально ли использование elm-spa? https://www.elm-spa.dev/guide/getting-started

Смотря для чего

вопрос к метрам про моделирование доменной области. представим что мы делаем вэбртси приложение. Админ может разрешить или запретить импользование аудио и видео, после чего пользователь может сам включить или выключить свое аудио и видео. Проблема в том, что мы так же должны иметь медиа стрим и этот стрим может существовать только в случае когда хотя бы что-то одно, аудио или видео активно. Как нам смоделировать такую ситуацию в типах чтобы избежать невалидных состояний? Наивное (и неправильное) решение

type Media = Unavailable | Disabled | Active

type alias State =
    { audio : Media
    , video : Media
    , mediaStream : Maybe MediaStream
    }

Значения-свидетели, которые получаются от смарт-конструкторов

Стрим будет доступен, только если есть свидетели

а можно немного пояснить про свидетелей?

Контроль в рантайме получается?

type AudioStream + функция, которая его порождает. Вручную в обход создать стрим нельзя

то же для видео

но проблема в том, что стрим может быть только один

общий для аудио и видео

Суть тут в том, что значение Audio и Video можно было получить только определённым образом

а что у нас будет в These варианте... там получится сразу два стрима

type AudioStream = AudioStream Stream
type VideoStream = VideoStream Stream

type MediaStream AudioStream VideoStream
    = None
    | Audio AudioStream
    | Video VideoStream
    | AudioVideo ?