Гайс, есть вопрос монада — это моноид в категории эндофункторов. Ну что

Question

Гайс, есть вопрос монада — это моноид в категории эндофункторов. Ну что

такое моноид +- понятно, т.е. это бинарная функция, у которой вовзращаемое значение такое же как и принимаемые. Что такое функтор тоже ясно, это грубо говоря функция, которая может превратить функцию над типом T в функцию над типом Container<T>. Но ведь эндофунктор превращает функцию такую же, над типом T. Тогда почему монада — не моноид в категории просто функторов, не эндо?

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

#oop #programming #russian #software #web-design

0

15.11.2021