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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1540 membersпожаловаться на группу
2020 July 05

TA

Tel Asc in Haskell
Timofey Zakrevskiy
я что-то пропустил - что есть контрмонада?
Нет)
Но раз есть контрвариантный функтор,то значит должна быть контрвариантная фри монада,а раз есть такая фри монада то есть контрмонада.
источник
14:55пожаловаться#1

K

Kir in Haskell
Tel Asc
Тогда возникает вопрос:
А почему бы не описать фри стрелку?
И с помощью фри стрелки сделать фри контрмонаду...
Во-первых, я тут подумал, стрелку ищ контрмонады не сделать, потому что там вычисления идут в обратном направлении.
источник
14:55пожаловаться#2

TZ

Timofey Zakrevskiy in Haskell
и не очень понятно, как сравнивать в терминах "выше-ниже" сущности разного кайнда - стрелки имеют два параметра, монады - один (я не критики ради, а ради уточнения)
источник
14:56пожаловаться#3

TA

Tel Asc in Haskell
Kir
Во-первых, я тут подумал, стрелку ищ контрмонады не сделать, потому что там вычисления идут в обратном направлении.
Категории думаю достаточно...
источник
14:56пожаловаться#4

K

Kir in Haskell
Разве что делать контрстрелку.
источник
14:56пожаловаться#5

TA

Tel Asc in Haskell
Tel Asc
Категории думаю достаточно...
Но категории практически не юзабельны в отличии от стрелок...
источник
14:56пожаловаться#6

K

Kir in Haskell
Tel Asc
Но категории практически не юзабельны в отличии от стрелок...
На Кметтовские Divisible не смотрели?
источник
14:57пожаловаться#7

TA

Tel Asc in Haskell
Tel Asc
Но категории практически не юзабельны в отличии от стрелок...
И поэтому не могут быть аналогом монад...
источник
14:57пожаловаться#8

TZ

Timofey Zakrevskiy in Haskell
Divisible/Decidable, кстати, интересные классы. co-log не даст соврать
источник
14:57пожаловаться#9

TA

Tel Asc in Haskell
Тот же arrow notation с категориями не сделать...
источник
14:57пожаловаться#10

K

Kir in Haskell
Tel Asc
Тот же arrow notation с категориями не сделать...
Возможно в пакете contravariant, но это не точно. Рекомендую загуглить.
источник
14:58пожаловаться#11

K

Kir in Haskell
Timofey Zakrevskiy
Divisible/Decidable, кстати, интересные классы. co-log не даст соврать
Плюсую.
источник
14:58пожаловаться#12

ЗП

Зигохистоморфный Пре... in Haskell
Timofey Zakrevskiy
Divisible/Decidable, кстати, интересные классы. co-log не даст соврать
обратные applicative/alternative =)
источник
14:58пожаловаться#13

TZ

Timofey Zakrevskiy in Haskell
Зигохистоморфный Препроморфизм
обратные applicative/alternative =)
почему alternative - интуитвно ясно, а почему applicative?
источник
14:59пожаловаться#14

K

Kir in Haskell
Кметт на них сортировку за линейное время (но с огромным констатным множителем) делал.
источник
14:59пожаловаться#15

K

Kir in Haskell
Как обобщение bucket sort.
источник
15:00пожаловаться#16

K

Kir in Haskell
Его реализация group, правда, глушит scheduler лопатой
источник
15:01пожаловаться#17

TA

Tel Asc in Haskell
Kir
На Кметтовские Divisible не смотрели?
Можно ссылку?
источник
15:01пожаловаться#18

K

Kir in Haskell
Tel Asc
Можно ссылку?
http://hackage.haskell.org/package/contravariant-1.5.2/docs/Data-Functor-Contravariant-Divisible.html
источник
15:02пожаловаться#19

ЗП

Зигохистоморфный Пре... in Haskell
https://slides.yowconference.com/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf
источник
15:04пожаловаться#20