SA
Ну не надо так, мейнстрим языков с нормальными типами-пересечениями не так много. Отсутствие union types в скале мешало, но куча других языков как-то живет без этой фичи. Начиная с джавы.
Size: a a a
2021 August 18
Oℕ
расскажите, как выглядит нормальное определение суммы
SA
Так у вас претензии не к языку, и даже не к цирке, а к агрессивному фанатичному коммьюнити? Ну что поделаешь, другого коммюнити нет. Самое приличное обитает на реддите, кстати.
IK
Ещё раз. Определение суммы "как у Either" через обёртки снимает такую необходимость)
Oℕ
Я думаю, подразумевается, что "нормально" - это в точности как в тайпскрипте, где кстати, правила типизации этих сум ансаунд
Oℕ
Но опять же и это "нормально" можно спокойно заенкодить в ГАДТ, если очень хочется
Oℕ
Этот SML код в точности соответствует определению через enum
KS
Хотелось бы просуммировать сегодняшний день: скала 2 - говно, Одерски - глупый, скала 3 - бесполезна, афроамериканцев - линчуют, наследование - рак, комьюнити - фанбои, юнионы - напрягают, сёрка - плохая. Хотелось бы проиллюстрировать это скриншотом Беряла, но тут не понв.
λ
кринжанул
S
Таки это полностью эквивалентно наследованию.
ΛВ
Oℕ
в скале case class ... extends и есть энкодинг этого энама, он вводит несколько новых типов, которые вы вправе не использовать
ΛВ
ректангл это часть определения типа шейп
KS
Хорошего вечера, заходите ещё!
Oℕ
в SML вам тоже придётся модифицировать определения конструкторов, из-за потребностей материнского енама
Oℕ
и ни в одном MLе тоже нет JSON либы которая автоматически бы анвраппила вложенные в АДТ рекорды и добавляла к ним дискриминатор
Oℕ
т.е. это ваше определение нормальности ни капли не облегчило бы вашу задачу на языках, где так можно
Oℕ
придётся, потому что каждый из конструкторов - часть определения вашего типа
Oℕ
если нужно добавить поле - придётся идти менять в конструкторе
Oℕ
через какой рефлекшон