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

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

3 ответов

7 просмотров

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

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

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

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

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

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

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

Типа вызывать GetParent и проверять на соответствие GetModuleHandle?
The Bird of Hermes
67
Do any of you guys have interesting projects one could join? I'm a Middle Full-Stack developer (JS/TS, React & Node)
Lev Shapiro
40
$res = json_decode($наша строка из респонса); $res1 = array_map(fn($o) => $o->name, $res->breadcrumbs[0]->entities); Как такое будет на Хаскеле?.. В начале весь джейсон, в ко...
Хаскель Моисеевич Гопник
27
В чем сила брат, в NASM или FASM?
Isaac Kleiner
18
Вопрос по диагностике ошибок (я знаю в чем, в данном конкретном примере, я знаю, как исправить, пример модельный, понятно, что в реальности бывает намного запутаннее). module...
ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
11
А чем вам питонисты не угодили?😂
.
79
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
52
Хтось використовував Vapor на Windows?
Jaroshevskii
15
Какое виндузовое сообщение приходит TTabSheet, что риэлайняться контролы на нем, даже у которых парент другой? Ситуация: открываю форму - кнопок нет, перелистываю на другой т...
Катерина Свиридова
7
Тут кста кто-нибудь NeoVim использует?
Simple Sorcerer
13
Карта сайта