KD
Size: a a a
2021 June 21
AM
Зочем?
AM
Семантически юнит уместнее. Nothing? звучит как костыль.
AM
В джяббе пользовались Void и null как раз из-за бедности системы типов, а тут вроде всё однозначно.
IP
С чего вдруг? Unit - это что-то успешное произошло. null - ничего
AM
Unit об успешности ничего не говорит.
AM
А вот Either<Error, Unit>, который топикстартеру нужен, ровно об этом.
AM
Я не то, чтобы за чистоту расы кода воюю, просто интересна мотивация писать чёт другое)
IP
Ну вот задача - описать либо что-то, либо ничего. Ничего - нулл. Тип, который описывает нулл, Nothing?
IP
Так-то Error? для этого идеален
IP
Который равносилен Error | Nothing?
AD
IP
А Either<Error, Nothing?> - это оно и есть
AM
Ну или Maybe<Error>, который Ильмир предложил, да, который суть то же самое
IP
AM
Почему Nothing?-то? :) Откуда ты этот налл берёшь?
IP
Error? = Error | null
Nothing? = null
Error | Nothing? = Error?
Nothing? = null
Error | Nothing? = Error?
AM
Почему ничего -- null?
IP
Потому что вся остальная семантика языка, завязанная на нуллы, это подразумевает
AM
Ничего -- null, если ожидалось какое-то значение. Если ожидался просто факт завершения, это Unit. Ну, мне так кажется.