AM
Или неявно сведут к | null
Size: a a a
2021 June 21
IP
Ну это будет просто глупость
AM
Откуда у тебя в Maybe<T : Any> вообще налл взялся?
IP
Я занимаюсь тем, что придумываю, как правильно выразить Maybe через Either
AM
Не увидел ни одного пояснения, почему не typealias Maybe<T : Any> = Either<T, Unit>
IP
Ну потому что мы пытаемся сделать, чтобы Maybe<T> значил то же, что и T?
IP
А, понимаю
IP
Ну тогда всё
AM
Это ты пытаешься, я не пытался вродь. Если из этого исходить -- то да, но всё ещё ассоциация null с Nothing? выглядит как костыль на случай, если не хочется делать null как тип-синглтон (аналогичный Unit)
IP
Так мы в реалиях нынешного котлина действуем
AM
(а если сделать -- будет у нас новый JS с undefined | null, кек)
AM
(но всё ещё это самое логичное, наверное, в реалиях нынешнего котлина)
AD
у Кости там Dart вовсю, есичо
KD
Нет.
Речь о том, что либо что-то произошло, но без результата, либо произошла ошибка.
Условно — запись в БД. Либо запись прошла успешно, либо что-то пошло не так. Разделение на нал\результат в успешной операции не предусмотрено.
Речь о том, что либо что-то произошло, но без результата, либо произошла ошибка.
Условно — запись в БД. Либо запись прошла успешно, либо что-то пошло не так. Разделение на нал\результат в успешной операции не предусмотрено.
Maybe сюда ложится отлично. Забыл о нём совсем.KD
В самое сердечко 😢
IP
Блин, невтерпёж уже этот kawaii pofftop