Почему pure лежит в Applicative а не в Functor?

@Bratjuuc · Регистрация: 12.08.2019

Студворк — интернет-сервис помощи студентам

Собственно название темы. По определению (из математики), функтор не только морфизмам сопоставляет морфизмы, но и объектам объекты. По мне, так очень логично pure переместить в Functor, контрпримеров пока не встречал. Особенно учитывая исторический казус, в котором pure = return.
Или сопоставление одного типа из Hask другому не является функцией, какой является pure, и там есть более тонкие нюансы?

@extrn · 07.04.2021, 11:09

За сопоставление морфизмов морфизмам (a -> b) -> (F a -> F b) отвечает fmap

Haskell
1
fmap :: Functor f => (a -> b) -> f a -> f b

За сопоставление объектов объектам (напомню, объекты здесь - это типы) a -> F a - конструктор типа, например применение Maybe к a дает Maybe a

Для pure здесь места нет

Новые блоги и статьи Все статьи Все блоги /
Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача №1: при указании работ (справочник РаботыПоРемонтуСпецтехники),. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .

@Bratjuuc 82 / 75 / 10 Регистрация: 12.08.2019 Сообщений: 81

	Почему pure лежит в Applicative а не в Functor? 07.04.2021, 10:44. Показов 1633. Ответов 1 Метки applicative, functor, pure (Все метки) Собственно название темы. По определению (из математики), функтор не только морфизмам сопоставляет морфизмы, но и объектам объекты. По мне, так очень логично pure переместить в Functor, контрпримеров пока не встречал. Особенно учитывая исторический казус, в котором pure = return. Или сопоставление одного типа из Hask другому не является функцией, какой является pure, и там есть более тонкие нюансы? 1

Почему pure лежит в Applicative а не в Functor?

Решение