(
Интересно было бы мнение @happy_bracket, что он думает по этому поводу. Интероп ломается, но фича из скалы появляется.
не знаю о чем идет речь, но мое мнение, что в одну сторону интероп ломать ради хорошей фичи никогда не вредно
Size: a a a
2020 December 29
AM
а где он ломается?
Ну в отличие от сахара над силдами джавка ничего не получит отсюда.
А
ну я бы не сказал, что это поломка прям
I
а где он ломается?
fun acceptsUnion(a: Int | String)
в джаве будет виден как
void acceptsUnion(Object a)
AN
fun acceptsUnion(a: Int | String)
в джаве будет виден как
void acceptsUnion(Object a)
А где тут поломка?
I
А где тут поломка?
Сейчас надо объявлять две функции и обе видны из джавы с точными типами.
А
fun acceptsUnion(a: Int | String)
в джаве будет виден как
void acceptsUnion(Object a)
но тогда кстати придётся проверять в рантайме что джава там в Object передаст именно String или Int
А
Сейчас надо объявлять две функции и обе видны из джавы с точными типами.
а кстати
I
но тогда кстати придётся проверять в рантайме что джава там в Object передаст именно String или Int
Как с ненулябельными параметрами, да.
А
как юнионы будут с перегрузкой дружить?
AN
Сейчас надо объявлять две функции и обе видны из джавы с точными типами.
Ну никто не мешает там, где это можно автоматом наплодить перегрузки.
А
как юнионы будут с перегрузкой дружить?
не поломается ли там вообще всё?
I
как юнионы будут с перегрузкой дружить?
Как и сейчас, будет выбираться наиболее точный кандидат.
AN
Как и сейчас, будет выбираться наиболее точный кандидат.
Вопрос скорее в том, будет ли Int| Double -> Int|Double|String
AN
И чего там будет с вариантностью и всем остальным
I
Ну никто не мешает там, где это можно автоматом наплодить перегрузки.
AN
Дукат так и делает. Тебе кстати надо с К-жсерами поговорить, они как бы эту проблему уже решали
I
Вопрос скорее в том, будет ли Int| Double -> Int|Double|String
Да. Int | Double приводим к Int | Double | String. То есть, можно сказать, "наследуется" от него. Вариативность отсюда следует.
AN
Да. Int | Double приводим к Int | Double | String. То есть, можно сказать, "наследуется" от него. Вариативность отсюда следует.
Ну я бы сказал, что тут еще вагон неочевидных мест типа List<String> | List<Int>
А
Ну никто не мешает там, где это можно автоматом наплодить перегрузки.
ну это не очень хорошая идея