Вчитался внимательнее и кажется немного догнал

ну если код на псевдосишарпе кажется понятным, то должно быть ок

если там Лист заменить на Таск/Async/Option/Result, то законы те же

Давай для третьего пример на твоём псевдосишарпе

А давай ты, а я поправлю

(а может и не придётся поправлять)

ЫЫЫ

Ну дай мне пару минут

list.SelectMany(f).SelectMany(g)
list.SelectMany(x -> f(x).SelectMany(g))

ага

охуеть

Law 3: (m >>= f) >>= g behaves the same as m >>= (fun x -> f x >>= g).

List(1,2,3).SelectMany(x => f(x)).SelectMany(x => g(x))
=====
List(1,2,3).SelectMany(x => f(x).SelectMany(y => g(y)))

во втором примере селектМени применяется к результату f(x) сразу же.
Списки конечно же получатся одни и те же. Здесь очень важный закон последовательности вычислений в монадическом коде.
Потому что монады это императивщина

Охуеть. Я монаду понял

ну в общем, да, они простые. Как моноид в категории эндофункторов

Ну всё, пойду подкручу ожидаемую зарпалату на хх.

Есть ссылка, в которой объясняют слова "в категории эндофункторов"? Интересно теперь и умные слова почитать.

ну да, в теории категорий.
Функтор это "функция" которая мапит категорию в категорию. Эндофунктор просто мапит в ТУ же категорию (а не в другую).
В категории присутствуют только объекты и стрелочки между ними, функтор мапит И объекты, И стрелочки.

В программировании категория типов (назовём её T) отождествляет объектам собсно типы, а стрелочкам функции между типами.

То есть эндофунктор List должен уметь мапить объекты из категории T в ту же категорию (но в другой объект этой категории. Допустим из типа int в тип List<int>), а стрелочку(функцию) int->string он должен смапить в стрелочку(функцию) List<int> -> List<string>

вот собсно и всё про функтор. Это просто особая функция. Над категориями

если нарисовать диаграмму всё становится очень понятно. Поэтому в теоркате любят диграммы с точками и стрелочками

собсно в программировании покуда мы работаем только с категорией типов все функторы будут эндофункторами

Но может тут теоркат дрочеры налетят и поправят меня. Я не знаю какие ещё категории в программировании используются и как выйти за её пределы