U
Всегда думал, что
-> Nothing в сигнатуре - это незавершаемое вычисление.Size: a a a
2021 June 21
IP
так return expression - это и есть прекращение вычисления
U
У тебя функция физически не может вернуть Nothing, это не населённый тип
U
У него нет инстансов
U
Тут или ошибку выкидывать, или while true делать
IP
val x = return
инициализация x - это недостижимый код, алло
инициализация x - это недостижимый код, алло
IP
нашел, кому теорию типов объяснять
IP
ты вызвал return - вычисление прервалось, в val x ничего не попадет
U
ну а зачем ты мне лямбду подсовываешь, у которой возвращаемый тип nothing?
IP
так ты попробуй запустить код из примера, который с throw
U
С throw, очевидно, падает с NPE
IP
в том-то и дело, что не всегда
IP
либо падает с NPE, либо выдает 42
U
Эээ... не. Если у тебя в контейнере будет null, то код всегда будет с NPE
VP
unchecked cast - фу, это же котлин, можно и без них
U
Как ты хотел присрать туда return я решительно не понимаю
VP
Функции-фабрики какие-то странные, как выбрать между Left и Right?
Na
cast<T>() ?)
U
То, что у тебя val x = return сделает тип x: Nothing - это, конечно, валидно, но практически неприменимо и не имеет отношения к твоему примеру выше.
VP
Можно нормальный Either без кастов написать