IP
@r4zzz4k перемен!
Size: a a a
2021 June 21
AS
Он спит, не тревожьте человека)
AM
Перемен в какую сторону?
ch
В ruby то же нету
I
Вроде всё верно.
AM
То бишь не "тип null выводится как
Nothing?, потому что это самый узкий подходящий тип", а "null буквально имеет тип Nothing?"?I
А разница?
AM
Практически -- никакой, теоретически выглядит как костыль.
VP
Всё ещё не понял, зачем приплетать null туда, где должен быть Unit
IP
А почему должен быть?
VP
Потому что везде в языке именно Unit - это затычка для отсутствия значения
IP
Тогда почему мы не пишем
val s: String? = Unit
val s: String? = Unit
AM
Ярослав пляшет от того, что Maybe эквивалентно наллабл.
AM
Я тут лишних вопросов задавать не стал.
VP
Потому что T | null - это единственный доступный юнион, да и с джавой хорошо дружит
IP
Тогда почему не использовать null в качестве Unit?
VP
Потому что обычно null - это валидное значение (одно из), а Unit - его полное отсутствие
IP
почему не наоборот?
AM
Вот так?
fun doStuff(): Nothing? {
// some actions
return null
}IP
awesome