Ну этот вопрос звучит примерно как "почему тайпкласс Functor не моноид", вы можете рассмотреть моноид инстансов этого тайпкласса, но это редко будет помогать вам писать код с его использованием
Есть определение категории. законы и набор стандартных категорий, одна из которых Functor (отображение объктов и стрелок). Я вот не вижу разногласий между определением Functor в теории категории и реализацией в cats. Мой вопрос в этой плоскости
в этой группе я могу только потоксить в ответ на вопрос в такой формулировке, к сожалению, я понимаю, откуда берётся такое интуитивное туманное представление и почему зачастую людей, ознакомившихся с теоркатом скользя поверхностно по блогам и статьям, сформировавших вот именно такое представление привлекает теоркат как некоторая мистическая составляющая, из которой можно неограниченно черпать ФП-мудрость но если хотите прямого ответа на свой вопрос, можете взять формальное определение категории, и совершенно формально сопоставить его с упоминающимся тайпклассом, ответ получится сам собой
Обсуждают сегодня