DK
но тем не менее все это уже есть
Size: a a a
2020 November 02
DK
хоть и странное
AP
Я к чему это всё говорю: нужны размеченные суммы в дополнение к тому, что есть
AP
Потому что структурная типизация помогает на стыке с JS. Это её самая главная задача
AP
Но в своём-то типизированном коде можно и нормальные инструменты использовать!
DK
а что конкретно это даст? можешь привести пример где они нужны?
AP
Про exhaustiveness analysis я написал уже
DK
ну он есть хоть и корявый
AP
Для размеченных сумм хорошо работает генерация (дерайвинг) кода
AP
Те самые "тайпклассы" — equality, ordering
DK
> Потому что структурная типизация помогает на стыке с JS. Это её самая главная задача
можно смотреть на нее как своего рода row-polymorphism
можно смотреть на нее как своего рода row-polymorphism
DK
иногда бывает очень удобно
AP
Потому я и сказал про "в дополнение"
AP
Разве нет?
AP
Я где-то написал про "выкинуть структурщину!"?
DK
ну я ее использую часто напрямую, вне связи с жс
DK
и нахожу удобной
DK
вот про тайпклассы интересная тема... зачем им их делать когда основной полиморфизм у них выражен через классы и интерфейсы?
DK
class Something implements Ordering {...}DK
в смысле рестриктед полиморфизм уже имеется,,, вряд ли будут сверху накручивать другую его форму