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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1586 membersпожаловаться на группу
2021 June 16

JS

Jerzy Syrowiecki in Haskell
если мэпать под суммой так здорово, почему этого нет в Either?
источник
17:52пожаловаться#1

VZ

Vladislav Zavialov in Haskell
В смысле нет? Есть
источник
17:52пожаловаться#2

VZ

Vladislav Zavialov in Haskell
Data.Functor.Sum в transformers
источник
17:53пожаловаться#3

VZ

Vladislav Zavialov in Haskell
Такая же параметризация
источник
17:54пожаловаться#4

JS

Jerzy Syrowiecki in Haskell
уже base, кстати
источник
17:54пожаловаться#5

VZ

Vladislav Zavialov in Haskell
О, да, переехало
источник
17:54пожаловаться#6

JS

Jerzy Syrowiecki in Haskell
там наизнанку, как в fastsum, а не встроенный map, как в union
источник
17:55пожаловаться#7

VZ

Vladislav Zavialov in Haskell
Да, ок.
источник
17:55пожаловаться#8

JS

Jerzy Syrowiecki in Haskell
зато теперь понятно, что такое fastsum — множественная сумма функторов
источник
17:55пожаловаться#9

к

кана in Haskell
ну ведь регулярно возникают задачи, когда нужно открытую сумму одного вида превратить в отрытую сумму другого вида, сохранив информацию. Какой-нибудь hmap сделает это просто, а вот когда у нас просто список типов, то очень сложно через кучу тайпклассов и семейств
источник
17:55пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
а
источник
17:56пожаловаться#11

JS

Jerzy Syrowiecki in Haskell
понял
источник
17:56пожаловаться#12

JS

Jerzy Syrowiecki in Haskell
я когда-то писал инстансы для Map f xs, задолбался
источник
17:56пожаловаться#13

ЗП

Зигохистоморфный Пре... in Haskell
поэтому sop решает эту и много других ситуаций?)
источник
17:57пожаловаться#14

к

кана in Haskell
да, и решает именно так
источник
17:57пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
там много костылей получалось, видимо, встроенный map это упрощает
источник
17:57пожаловаться#16

JS

Jerzy Syrowiecki in Haskell
в общем, костыль поменьше
источник
18:00пожаловаться#17

к

кана in Haskell
а еще такие типы легко композируются
источник
18:04пожаловаться#18

к

кана in Haskell
OpenSum (OpenProd I) xss
xss :: [[Type]]
источник
18:04пожаловаться#19

[

[BRM]White Rabbit in Haskell
к слову о шелле на хаскеле
источник
20:58пожаловаться#20