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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

IK

Ilya Kos in Haskell
а ты хочешь чтобы такая мапа автоматически из всех инстансов Foo появлялась?
источник
17:00пожаловаться#1

M

Maks in Haskell
да
источник
17:00пожаловаться#2

IK

Ilya Kos in Haskell
или из какого-то списка типов?
источник
17:00пожаловаться#3

M

Maks in Haskell
да, чтоб из всех инстансов формировалась мапа
источник
17:01пожаловаться#4

IK

Ilya Kos in Haskell
Если из всех инстансов, то без TH точно невозможно
источник
17:01пожаловаться#5

M

Maks in Haskell
это я понимаю
источник
17:01пожаловаться#6

M

Maks in Haskell
думал может кто готовое видел
источник
17:01пожаловаться#7

IK

Ilya Kos in Haskell
Потому что нет механизма получить "все инстансы"
источник
17:01пожаловаться#8

IK

Ilya Kos in Haskell
как это через TH сделать не знаю, не шарю в TH
источник
17:01пожаловаться#9

к

кана in Haskell
в таком виде можно просто инстансы без значений хранить, в одном месте мы статически знаем есть ли инстанс или нет (как Refl), а дальше уже работает с инстансом как со значением динамически, можно в мапку сложить, и не знать есть он или нет на самом деле
источник
17:10пожаловаться#10

AR

Alexey Raga in Haskell
Врут, что вот так можно:
-- get a list of instances
getInstances :: Name -> Q [ClassInstance]
getInstances typ = do
  ClassI _ instances <- reify typ
  return instances
источник
17:10пожаловаться#11

DR

Denis Redozubov in Haskell
Maks
да, чтоб из всех инстансов формировалась мапа
reifyInstances?
источник
17:16пожаловаться#12

ЗП

Зигохистоморфный Пре... in Haskell
кана
в таком виде можно просто инстансы без значений хранить, в одном месте мы статически знаем есть ли инстанс или нет (как Refl), а дальше уже работает с инстансом как со значением динамически, можно в мапку сложить, и не знать есть он или нет на самом деле
Мб через fci можно сделать)
источник
17:18пожаловаться#13

M

Maks in Haskell
Denis Redozubov
reifyInstances?
скорее reifyModule c мемоизацией, модули проще статически задать, их меньше будет
источник
17:25пожаловаться#14

M

Maks in Haskell
а есть ли способ в рантайме все модули перечислить?
источник
17:27пожаловаться#15

M

Maks in Haskell
тогда можно было бы, отыскать и мемоизировать все нужные инстансы
источник
17:28пожаловаться#16

KZ

Kirill Zaborsky in Haskell
а зачем в рантайме, если они известны при компиляции?
источник
17:29пожаловаться#17

M

Maks in Haskell
не нужно, в компайл тайме конечно, это я ступил
источник
17:30пожаловаться#18

λ

λoλi in Haskell
Приглашаю вас зарегестрироваться на онлайн конференцию Haskell.love!
https://haskelllove.eventbrite.com
Не забудьте заджойниться в наш слак - https://join.slack.com/t/haskelllove/shared_invite/zt-e8kssrqa-u5~FqdJtfC_qI2LVknwisQ
Eventbrite
Haskell Love
Haskell Love conference is for everyone!
источник
17:44пожаловаться#19

АГ

Александр Гранин... in Haskell
λoλi
Приглашаю вас зарегестрироваться на онлайн конференцию Haskell.love!
https://haskelllove.eventbrite.com
Не забудьте заджойниться в наш слак - https://join.slack.com/t/haskelllove/shared_invite/zt-e8kssrqa-u5~FqdJtfC_qI2LVknwisQ
Eventbrite
Haskell Love
Haskell Love conference is for everyone!
Да, ребят, поддерживаю. Там будет очень много классных спикеров!
источник
17:45пожаловаться#20