169 похожих чатов

А почему. например, тайп класс Functor не категория?

3 ответов

15 просмотров

Ну этот вопрос звучит примерно как "почему тайпкласс Functor не моноид", вы можете рассмотреть моноид инстансов этого тайпкласса, но это редко будет помогать вам писать код с его использованием

Artem-Nazarenko Автор вопроса
Oleg ℕižnik
Ну этот вопрос звучит примерно как "почему тайпкла...

Есть определение категории. законы и набор стандартных категорий, одна из которых Functor (отображение объктов и стрелок). Я вот не вижу разногласий между определением Functor в теории категории и реализацией в cats. Мой вопрос в этой плоскости

Artem Nazarenko
Есть определение категории. законы и набор стандар...

в этой группе я могу только потоксить в ответ на вопрос в такой формулировке, к сожалению, я понимаю, откуда берётся такое интуитивное туманное представление и почему зачастую людей, ознакомившихся с теоркатом скользя поверхностно по блогам и статьям, сформировавших вот именно такое представление привлекает теоркат как некоторая мистическая составляющая, из которой можно неограниченно черпать ФП-мудрость но если хотите прямого ответа на свой вопрос, можете взять формальное определение категории, и совершенно формально сопоставить его с упоминающимся тайпклассом, ответ получится сам собой

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
Чтобы перехватить все нажимания буков на форме, надо хук ставить? Пробовал на форме ОнКейДаун, оно ловит клаву если фокус не на компоненте с вводом текста
Serjone
15
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
Всем привет! вывожу на общей стр дочерние ресурсыв каждом ресурсе галерея, и первая фотка должна выводиться на общей [!DocLister? &prepare=photo !]
Alekso
12
А можно вопрос? Мне сегодня сказали что у меня функция (которая просто заполняет массив значениями) не правильная void Full(double * arr, int n) { for (int i = 0; i < n; i...
† C E †
7
День добрый, подскажите пожалуйста, есть ли какой-то способ сказать ребару не компилировать определённое приложение? Всю доку их перечиатл ничего подобного не нашёл
Кирилл
14
Добрый вечер. Хочу чтобы у меня в классе поле было функцией, которая возвращает строку. Делаю так: interface ... TGetOutPath = function : String of object; ... protec...
Kirill Filippenok
12
Народ! Впервые клиенту пришло письмо от РКН, у вас, дескать, есть яндекс метрика, а нигде не написано, что вы ее юзаете. Никто не сталкивался?
Sasha Beep
10
Это может быть все-таки не флудвейт? у меня ботфазер принимает изменения и отображает даже что они изменились, на видео видно что он прислал якобы уже измененное описание, н...
OVERLINK
13
Здравствуйте, хочу сделать HelloWorld в консоли Дельфи, но функция API ничего не выводит, что я делаю не так? program Hello; {$APPTYPE CONSOLE} uses System.SysUtils, WinAPI.Wi...
Sergey Vinogradov
20
Карта сайта