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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

A

Andrey in Haskell
• Couldn't match type ‘a0’ with ‘GenericQ Value’
     Expected: GenericQ Value -> GenericQ Value
       Actual: a0 -> a0
     Cannot instantiate unification variable ‘a0’
источник
18:02пожаловаться#1

MK

Maxim Koltsov in Haskell
9.0?
источник
18:02пожаловаться#2

A

Andrey in Haskell
showToFay :: forall a. Data a => a -> Maybe Value
showToFay = spoon . encodeFay id

это я феечку решил попробовать подвести на 9.0
источник
18:02пожаловаться#3

A

Andrey in Haskell
где encodeFay :: (GenericQ Value -> GenericQ Value) -> GenericQ Value
источник
18:03пожаловаться#4

MK

Maxim Koltsov in Haskell
Здесь id лямбдой запиши
источник
18:05пожаловаться#5

A

Andrey in Haskell
сработало! 🙏
источник
18:07пожаловаться#6

MK

Maxim Koltsov in Haskell
Уродство, конечно
источник
18:07пожаловаться#7

A

Andrey in Haskell
да, eta expand в виде лямбды помогло прочихаться
источник
18:07пожаловаться#8

A

Andrey in Haskell
ну такое, да
источник
18:07пожаловаться#9

JS

Jerzy Syrowiecki in Haskell
что это за чёрная магия?
источник
18:09пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
сиплюсплюсом запахло
источник
18:09пожаловаться#11

A

Andrey in Haskell
https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.0#simplified-subsumption
GitLab
9.0 · Wiki · Glasgow Haskell Compiler / GHC
The Glorious Glasgow Haskell Compiler.
источник
18:11пожаловаться#12

JS

Jerzy Syrowiecki in Haskell
это из GenericQ кванторы лезут наружу?
источник
18:13пожаловаться#13

A

Andrey in Haskell
кажется, да
источник
18:14пожаловаться#14

A

Andrey in Haskell
type GenericQ r = forall a. Data a => a -> r
источник
18:14пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
это только в случае высших рангов имеет значение?
источник
18:14пожаловаться#16

A

Andrey in Haskell
это — что конкретно?
источник
18:15пожаловаться#17

A

Andrey in Haskell
я видел (и опять 🙏 @maksbotan) как simplified subsumption ломал линзокод, и как eta expansion его чинила обратно, но там ещё более-менее это выглядело
источник
18:16пожаловаться#18

JS

Jerzy Syrowiecki in Haskell
изменение поведения GHC пре переходе на 9 версию
источник
18:17пожаловаться#19

A

Andrey in Haskell
ага
источник
18:17пожаловаться#20