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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1452 membersпожаловаться на группу
2020 May 28

к

кана in Haskell
а Sub из a ~# b делает a ~R# b, потому что cast работает именно с репрезентабл ролью коерсов на типах (и с любой на каиндах, как я понял)

https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1015&context=compsci_pubs
источник
09:39пожаловаться#1

YS

Yan Shkurinskiy in Haskell
кана
а Sub из a ~# b делает a ~R# b, потому что cast работает именно с репрезентабл ролью коерсов на типах (и с любой на каиндах, как я понял)

https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1015&context=compsci_pubs
А значок ~#R видимо означает эквивалентность типов с репрнзентативной ролью?
источник
09:56пожаловаться#2

YS

Yan Shkurinskiy in Haskell
Я кажется понял что ты написал)
источник
09:56пожаловаться#3

YS

Yan Shkurinskiy in Haskell
Ну или половину - точно
источник
09:57пожаловаться#4

к

кана in Haskell
Yan Shkurinskiy
А значок ~#R видимо означает эквивалентность типов с репрнзентативной ролью?
+
источник
09:57пожаловаться#5

YS

Yan Shkurinskiy in Haskell
Спасибо за подробное объяснение!
источник
09:57пожаловаться#6

JS

Jerzy Syrowiecki in Haskell
Алексей Худяков
Я, кстати, недавно словил баг из-за перегрузки length. Что характерно там была не тупля
а что было?
источник
12:22пожаловаться#7

АХ

Алексей Худяков... in Haskell
Заменил [a] на Identity [a], т.е. типы были более замысловатые, но смысл такой
источник
12:24пожаловаться#8

AV

Alexander Vershilov in Haskell
А пользовался бы universum не было бы такого!
источник
12:39пожаловаться#9

АХ

Алексей Худяков... in Haskell
Я как-нибудь так
источник
12:50пожаловаться#10

_:

_Ryner' :: IO ❄️ in Haskell
кана
Страшно выглядит
источник
12:54пожаловаться#11

YS

Yan Shkurinskiy in Haskell
корка и не должна выглядеть красиво)
источник
12:55пожаловаться#12

JS

Jerzy Syrowiecki in Haskell
Алексей Худяков
Заменил [a] на Identity [a], т.е. типы были более замысловатые, но смысл такой
потому что Identity не должно воровать семантику у OneTuple
источник
13:05пожаловаться#13

JS

Jerzy Syrowiecki in Haskell
Identity вообще не должно никакой семантики добавлять, кроме самой тривиальной типа Monad
источник
13:05пожаловаться#14

АХ

Алексей Худяков... in Haskell
Ну и Foldable
источник
13:06пожаловаться#15

АХ

Алексей Худяков... in Haskell
и Traversable
источник
13:06пожаловаться#16

A

Antonio in Haskell
и Num !!!!11
источник
13:08пожаловаться#17

LO

Leonid 🦇 Onokhov in Haskell
Да и вообще все классы пробрасывать
источник
13:09пожаловаться#18

AP

Anatolii Prylutskyi in Haskell
кто-то в продакшоне http2 использовал с пушами?
источник
13:11пожаловаться#19

AP

Anatolii Prylutskyi in Haskell
warp вроде умеет в хттп2
источник
13:11пожаловаться#20