ТС синтаксис (не ругайтесь, скорее всего истоки другие) для умножения/суммирования типов, типа A |B, A & B?
ну его в скалу 3 подвезли 5 лет назад
Там ещё и отступы в стиле Питона зачем-то завезли
в стиле хаскеля, нну троллить и набрасывать так до конца уж
вообще по сути scala 3 родилась из попытки сделать правильный хороший & с учётом тайп-мемберов \ баундед полиморфизма, в тайпскрипте, к сожалению на ранних сроках смирились с unsound системой типов, потому что сделать её адекватной не очень просто
а почему unsound?
ну ковариантность массивов, бивариантность функций и ещё всякие штуки, которые ну прямо совсем явно ломают, но их специально сделали для удобства\
fundamentally unsound*
Обсуждают сегодня