A
у тебя (2) - это частный случай (3)
мне уже объяснили, я почти склонен согласиться. вопрос в том, как бы это накодить.
Size: a a a
2020 May 07
M
мне уже объяснили, я почти склонен согласиться. вопрос в том, как бы это накодить.
Ну бейс класс общий им
M
M
Или ты ответы от других обрабатываешь
A
ткни носом
операция возвращает Result { Ok, Pereloginsya, HttpError }
AH
операция возвращает Result { Ok, Pereloginsya, HttpError }
допустим. пока что это просто тип-сумма
M
Я здесь вижу дю обычный
SN
ну вот если ты сможешь придумать
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
сигнатура неправильная
AH
сигнатура неправильная
ага, потому что нет тип параметра
AH
в изначальном задании
SN
мне уже объяснили, я почти склонен согласиться. вопрос в том, как бы это накодить.
а зачем тебе? у тебя все равно не будет нормального синтаксиса, чтобы записывать монадический код
AH
я даже пюре не смог нормально придумать
AH
потому что из любого типа его не сделаешь
SN
ага, потому что нет тип параметра
нет, не поэтому. у тебя там значение
AH
только из двух строк
VS
@aensidhe , проще список ошибок копить
A
а зачем тебе? у тебя все равно не будет нормального синтаксиса, чтобы записывать монадический код
мне интересно.