Может ты урывками кодишь, пока никто не видит! 😃

Да забей

Оно дерьмо

Перевод подъехал: https://habr.com/ru/post/486604/

Мне его аж в приложении порекомендовали

А я-то думаю, почему такое дежавю

Благодарю. Там правда про Rust не слова, зато про Haskell довольно много.

@nlinker о чём там в двух словах?

> Настоящая проблема с этой версией кода, согласно предыдущему комментарию на Reddit, заключается в том, что код на Haskell должен быть обновлён всякий раз, когда сервис входа добавляет новый тип события! Новый конструктор типа должен быть добавлен к типу данных Event, и для него должна быть определена новая логика парсинга. А что будет, когда новые поля будут добавлены в полезную нагрузку? Какой кошмар для поддержки.

А на расте с макросами просто добавить новый ивент и все заебись

Основной тезис в том, что динамические системы не могут магически подстраиваться под меняющийся мир только потому, что они динамические.
То есть по степени открытости к неизвестным изменениям статика и динамика одинаково сильны.

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

На самом деле можно заниматься магией с добавлением новых типов данных в рантайме.

И что можно сделать с ними?

а почему не:
let x: A | B = A();
match x {
   a : A => {},
   b : B => unreachable!()
}

?

Потому что A | A плохо работает

rofl

непрозрачные анонимные суммы это конечно топ кек

Непрозрачные?

номинативные

неструктурные