VP
Что не сходится то?
Ведёт себя как union
Ведёт себя как union
Size: a a a
2021 April 30
VP
Если в котлин введут пользовательские union, эта штука не начнёт себя вести по-другому
AD
Когда говорят юнион встроенный в язык, подразумевают не какой-нибудь один конкретный узкий подтип, а любые
AD
Бля, ньютоновская механика ведёт себя как квантмех
VP
Значит, возникло недопонимание
AD
И блять что
VP
В этом и вся суть, что оно встроено в язык, а не в stdlib, как Option и Result в расте
AD
Она от этого становится тождественной квантмеху?
AD
Нет же.
AD
Прибито гвоздями
I
А по теме спора аргументы будут?
VP
Да, именно. От этого он перестаёт быть union?
AD
VP
Загугли, мне влом
AD
Юнион тайп может иметь сколько угодно элементов, для него определены операции |, /\ и сабтайпинг
AD
Для ваших нет
I
Нулябельный тип - это именно юнион, ибо T | Null | Null == T | Null, а если с Котлиновским синтаксисом, то (T?)? == T?
AD
Это не юнион
I
Можешь сколько угодно убеждать себя в этом, то T? - это T | Null.