IP
fun getErrorOrNull(): Error?
Size: a a a
2021 June 21
AM
Иначе у нас процедуры всегда возвращали бы null, имея тип возврата Nothing?.
IP
Я себе это так представляю, как функция выше.
AM
Я с третьим выводом из первых двух не согласен.
IP
Почему? Были бы у нас в языке юнионы, так бы и было
IP
AM
Потому что null -- такой же Nothing?, как и String?. Не вижу эксклюзивности Nothing?, кроме того, что там природа Nothing не подразумевает значений вообще, что не касается null в Nothing?
IP
String? | Error? = Error | String | null
IP
Есть разница
AM
А null в данном случае будет String? или Error? кодировать? :)
IP
null будет кодировать null
IP
Собственно, если бы в котлине были юнионы, то изначально можно было сделать тупо object null
AM
Который в любом случае к Nothing? отношения не имеет, к чему я изначально и веду.
IP
Так в чистом виде ты описать null по-другому не можешь
AM
Интересно, как на деле это сделано будет.
IP
Не, наверное, если всё-таки правильнее будет typealias Maybe<T : Any> = Either<T, Nothing?>
AM
Будет ли разница между String? | Error и String | Error? или нет.
IP
Если будет, то уйду на Скалу 3
AM
Ну, как раз и будет зависеть от того, как null обыграют
AM
Может, вообще запретят ? в юнионах.