A
а при чем тут монада?
Size: a a a
2020 May 16
PG
Maybe частный случай монады
A
ну то есть условно в расте я пишу так:
x = SomethingThatReturnsOption;
if x == None {
return None;
}
Some(value) = x;
y = SomethingElse(value);
A
или предполагается дальше этот None тащить церез цепочку .map(SomethingElse)?
PG
вообще планируется, но обычно это скрыто от глаз
PG
Maybe написать не сложно, сложно абстрагироваться от конкретных монад, для этого нужны типы высшего порядка
A
не-не, я вот про конкретное. Не написать, а использовать
A
пусть у меня есть функция f, которая берет X и возвращает Maybe Y, и есть функция g, которая берет Y и возвращает Z
A
и я хочу написать функцию, которая возвращает Maybe Z
A
f :: X -> Maybe Y
g :: Y -> Z
g :: Y -> Z
A
нет, f : X -> Maybe Y
Хаскелисты — еретики.
Хаскелисты — еретики.
A
A
я человек простой, поэтому я вызываю f, смотрю результат. Если Nothing, то его и вернуть, а если нет, то развернуть и сунуть в g и результат завернуть в Just
A
и я хочу написать функцию, которая возвращает Maybe Z
Напиши реализацию под Nothing и Just отдельно.
A
и Just
A
*
A
ну вот условно, типичный такой сишный пример
A
map _ Nothing = Nothing
map f Just a = Just f a
map f Just a = Just f a
A
вообще не парься, это все мелочи жизни