МП
>>= это биндSize: a a a
2020 August 12
AH
AH
а ретурн это лифт или pure
AH
их называют везде по-разному
AH
ОКЕЙ, напишу для монады LIST
DB
легче всего это все понять если поюзать async { }
МП
Я на сишарпе async еле освоил, в фаршевскй после этого въезжать вообще не захотелось.
AH
Law 1: return x >>= f behaves the same as f x.
new List(x).SelectMany(x => f(x)) ===== f(x)
new List(x).SelectMany(x => f(x)) ===== f(x)
AH
ну то есть создаём лист из одного элемента и ко всем его элементам применяем функцию, которая должна из них сделать отдельные листы
AH
т.к. элемент в листе один, то нахуя это всё - неясно, можно было сразу сделать f(x)
AH
МП
Ща, что-то начал на кончиках пальцев чувствовать
AH
SelectMany это bind (fmap)
AH
он принимает функцию x -> List(x)
МП
т.к. элемент в листе один, то нахуя это всё - неясно, можно было сразу сделать f(x)
Это типа чтобы не было
Option<Option<Option<Option<'a>>>>AH
то есть
a -> M<a>AH
Это типа чтобы не было
Option<Option<Option<Option<'a>>>>ну да.