В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

569 membersпожаловаться на группу
2020 February 10

G

Gymmasssorla in Теория категорий
https://github.com/awalterschulze/category-theory-for-programmers-challenges/blob/master/107-Functors.md#71-can-we-turn-the-maybe-type-constructor-into-a-functor-by-defining

> preserves identity: fmap id = id

Почему fmap id = id, а не fmap id = id от Maybe x?
GitHub
awalterschulze/category-theory-for-programmers-challenges
Challenges from Category Theory for Programmers. Contribute to awalterschulze/category-theory-for-programmers-challenges development by creating an account on GitHub.
источник
00:34пожаловаться#1

G

Gymmasssorla in Теория категорий
Или он так и имел ввиду?
источник
00:35пожаловаться#2

G

Gymmasssorla in Теория категорий
Судя по доказательству, он это и имел ввиду. Меня смутило отсутствие явных типов
источник
00:37пожаловаться#3

O

Orbarax in Теория категорий
какая разница в хаскеле, от чего id? оно ж полиморфное
источник
00:40пожаловаться#4

Oℕ

Oleg ℕizhnik in Теория категорий
Gymmasssorla
Судя по доказательству, он это и имел ввиду. Меня смутило отсутствие явных типов
В теоркате тоже часто избегают индексов, если можно сделать инференс в уме
источник
09:16пожаловаться#5

Oℕ

Oleg ℕizhnik in Теория категорий
Т.к. по умолчанию сравнивать можно только морфизмы из одного хомсета, как правило, это можно сделать
источник
09:16пожаловаться#6
2020 February 12

G

Gymmasssorla in Теория категорий
В категории типов морфизмы - это конструкторы типов или функции? (если применительно к программированию говорить)
источник
02:26пожаловаться#7

A

Andrey in Теория категорий
Функции
источник
02:28пожаловаться#8

A

Andrey in Теория категорий
Конструкторы могут быть функторами
источник
02:28пожаловаться#9

A

Andrey in Теория категорий
Andrey
Конструкторы могут быть функторами
Хотя видимо это называется не конструктором
источник
02:31пожаловаться#10

G

Gymmasssorla in Теория категорий
Andrey
Конструкторы могут быть функторами
Значит тип = категория?
источник
02:32пожаловаться#11

O

Orbarax in Теория категорий
функтор это пара из конструктора типа и map'а
источник
02:32пожаловаться#12

A

Andrey in Теория категорий
Gymmasssorla
Значит тип = категория?
Нет, это объект соответсвующей категории
источник
02:33пожаловаться#13

O

Orbarax in Теория категорий
конструкторы типов, выходит, тоже являются морфизмами в категории типов?
источник
02:34пожаловаться#14

A

Andrey in Теория категорий
Orbarax
функтор это пара из конструктора типа и map'а
Формально да, но здесь я допускаю некоторую вольность речи, подразумевая, что конструктор иногда можно продолжить на морфизмы
источник
02:35пожаловаться#15

O

Orbarax in Теория категорий
или они являются объектами некой функтороподобной категории?
источник
02:37пожаловаться#16

A

Andrey in Теория категорий
Я правда не уверен, что именно в программировании называется конструктором: скажем, Maybe: * -> *, который по типу A выдает тип Maybe A; или Just, который по значению x типа A выдает значение Just x типа Maybe A
источник
02:38пожаловаться#17

G

Gymmasssorla in Теория категорий
Andrey
Я правда не уверен, что именно в программировании называется конструктором: скажем, Maybe: * -> *, который по типу A выдает тип Maybe A; или Just, который по значению x типа A выдает значение Just x типа Maybe A
Первое - конструктор типа, второе - конструктор значения
источник
02:39пожаловаться#18

A

Andrey in Теория категорий
Gymmasssorla
Первое - конструктор типа, второе - конструктор значения
А, то есть просто "конструктор" говорить не совсем корректно
источник
02:39пожаловаться#19

O

Orbarax in Теория категорий
Andrey
Я правда не уверен, что именно в программировании называется конструктором: скажем, Maybe: * -> *, который по типу A выдает тип Maybe A; или Just, который по значению x типа A выдает значение Just x типа Maybe A
есть конструкторы типов (* -> *), есть конструкторы значений (Int -> Maybe Int)
источник
02:39пожаловаться#20