Если я определю это и ещё одну 'a -> M<'a>, я получу свою монаду или нет?

ну ещё пару законов если докинешь сверху к этим функциям - получишь

моноид тоже требует соблюдения пары законов

Тех же?

Других

типа a + 0 = a = 0 + a

У моноида это замкнутость операции и наличие нулевого элемента, так?

А у монады?

У моноида это замкнутость операции и наличие нулевого элемента, так?

но ещё и ассоциативность (a + b) + c = a + (b + c) это самое главное!

без него вся бигдата накрылась бы к хуям

в бигдате всё обмазано моноидами.

я бы сказал всё на них и работает

это очень важный закон, который позволяет распараллеливать, сохранять и переиспользовать результаты агрегаций

Оу

Вот это я пропустил мимо ушей

Ну да ладной, давай уже сладенькое

Что там у монады должно быть?

А у монады?

левая, правая айдентити я тебе копипастну тупо хаскель Law 1: return x >>= f behaves the same as f x. Law 2: m >>= return behaves the same as m. Law 3: (m >>= f) >>= g behaves the same as m >>= (fun x -> f x >>= g).

ЯННП

где >>= это бинд

или фмап

а ретурн это лифт или pure

ЫЫЫ

их называют везде по-разному

ОКЕЙ, напишу для монады LIST

легче всего это все понять если поюзать async { }

(имхо)

Я на сишарпе async еле освоил, в фаршевскй после этого въезжать вообще не захотелось.

Law 1: return x >>= f behaves the same as f x. new List(x).SelectMany(x => f(x)) ===== f(x)

ну то есть создаём лист из одного элемента и ко всем его элементам применяем функцию, которая должна из них сделать отдельные листы

т.к. элемент в листе один, то нахуя это всё - неясно, можно было сразу сделать f(x)

ОБ ЭТОМ И ЗАКОН

Ща, что-то начал на кончиках пальцев чувствовать

SelectMany это bind (fmap)

он принимает функцию x -> List(x)

т.к. элемент в листе один, то нахуя это всё - неясно, можно было сразу сделать f(x)

Это типа чтобы не было Option<Option<Option<Option<'a>>>>

то есть a -> M<a>

Это типа чтобы не было Option<Option<Option<Option<'a>>>>

ну да.

Но я не до конца понял. Это свойство монады? В чём оно выражается? В наличии bind с сигнатурой M<'a> -> ('a -> M<'b>) -> M<'b>?

Но я не до конца понял. Это свойство монады? В чём оно выражается? В наличии bind с сигнатурой M<'a> -> ('a -> M<'b>) -> M<'b>?

это не св-во, а требование

unknown plugin звучит как "я не я, и жопа не моя"

монада это некий контейнер над типами с 2мя функциями, которые ДОЛЖНЫ удовлетворять 3м законам (выше)

это не св-во, а требование

Окей, понял. А другие два?

Окей, понял. А другие два?

ну ВЫШЕ же)

Да я не всасываю

левая, правая айдентити я тебе копипастну тупо хаскель Law 1: return x >>= f behaves the same as f x. Law 2: m >>= return behaves the same as m. Law 3: (m >>= f) >>= g behaves the same as m >>= (fun x -> f x >>= g).

Да я не всосал

Law 2: m >>= return behaves the same as m. List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)

элиминтарщина же

Law 2: m >>= return behaves the same as m. List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)

Ну вот это в разы проще понять чем через то что ты выше описал честно говоря

Вот даже если знаком с этим

А я не понял разницу с первым.

Ну вот это в разы проще понять чем через то что ты выше описал честно говоря

фор хум хау

А я не понял разницу с первым.

Law 1: return x >>= f behaves the same as f x. Law 2: m >>= return behaves the same as m.

:D

но ты почти угадал. они называются ЛЕВОЕ айдентити и ПРАВОЕ айдентити

типа с какой стороны ни поставь RETURN от FMAP, должна быть одна хуйня

В теоркате это красивее выглядит даже чем на хачкеле

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

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

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

если там Лист заменить на Таск/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> вот собсно и всё про функтор. Это просто особая функция. Над категориями

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

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

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

а, ну да. про моноид в категории эндофункторов! Представим что у нас есть другая категория, где точки - эндофункторы (собсно почему эта категория и называется КАТЕГОРИЯ ЭНДОФУНКТОРОВ), а стрелочки являются естественными преобразованиями (и тут уже не так просто). И в этой категории все моноиды будут монадами :D

Я и это кажется почти понял. Но боюсь, мне уже не заплатят так много, как я о себе теперь думаю.

естественные преобразования это как раз те функции, которые нужны монаде чтобы быть монадой. ну вот твои бинды и прочая хуита