AH
кстати да, чот сегодня не работается.
Size: a a a
2021 April 23
AH
в чатике целый день зависаю
A
Ну эт в принципе и есть Either<T1,T2>.None, (default выдаст isInit false) только гадящий на все эксепшнами
AH
ну так это и не должно быть нормой получать на руки неинициализированный Either
AH
Какой от него смысл тогда
AH
Это какой-то Either Maybe у тебя получается
AH
кстати с точки зрения типов изоморфный тип!
A
эт да. Просто тут какая альтернатива:
поле isInit - это на самом деле индекс
Можно сопоставить Value1 индекс 1 - тогда на индекс 0 гадить исключениями
Но можно Value1 сопоставить индекс 0 - тогда default(Either<T1,T2>) - это default(T1) считай
Первый вариант мне больше нравится
поле isInit - это на самом деле индекс
Можно сопоставить Value1 индекс 1 - тогда на индекс 0 гадить исключениями
Но можно Value1 сопоставить индекс 0 - тогда default(Either<T1,T2>) - это default(T1) считай
Первый вариант мне больше нравится
A
Either<T1,T2> из-за несовершенства CLR это на самом деле Either<T1,T2,None> (None - unit, не bottom)
хотя по настоящему Either<T1,T2> должен быть тем же типом что и Either<T2,T1>, но что уж поделат
хотя по настоящему Either<T1,T2> должен быть тем же типом что и Either<T2,T1>, но что уж поделат
AH
в хачкелях например, fmap над Either работает с правым типом, поэтому Either там пользуют как аналог Result где левый тип - тип ошибки
AH
ну необязательно это несовершенство протаскивать везде
A
На уровне рантайма надо поддержку
Запилите уже CLR Core
Запилите уже CLR Core
A
ПыСы Вкусовщина конечно, но по мне bottom тип лучше звать не None а Never
AH
None это не боттом тайп.
None это тип в котором есть один инстанс
боттом тайп это тип в котором нет инстансов, то есть его создать нельзя
None это тип в котором есть один инстанс
боттом тайп это тип в котором нет инстансов, то есть его создать нельзя
AH
Обычно его называют Void (потому что он пустой)
M
Странно до тех пор пока не начнешь это использовать и читать подобный код.
M
В длиннах ифах это путаница
IC
опачки, дизайнеры рантайма и C# подтянулись
AH
О, человек со стокгольмским синдромом подтянулся!
IC
ты вообще днём пьёшь пиво!