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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

R

Roman in Haskell
слишком много вопросов за раз задал, теперь путаюсь
источник
17:34пожаловаться#1

R

Roman in Haskell
кана
я так понимаю это та самая проблема что у тебя возникла
покажи код целиком
источник
17:34пожаловаться#2

R

Roman in Haskell
у меня та проблема решилась просто добавлением кайндовой аннотации
источник
17:35пожаловаться#3

к

кана in Haskell
https://gist.github.com/kana-sama/b029dfa1b1665b207259b58588659a1a
Gist
proof.hs
GitHub Gist: instantly share code, notes, and snippets.
источник
17:35пожаловаться#4

R

Roman in Haskell
кана
https://gist.github.com/kana-sama/b029dfa1b1665b207259b58588659a1a
Gist
proof.hs
GitHub Gist: instantly share code, notes, and snippets.
у меня тайпчекается
источник
17:37пожаловаться#5

к

кана in Haskell
а каким ghc?
источник
17:37пожаловаться#6

R

Roman in Haskell
в 8.10.2
источник
17:37пожаловаться#7

к

кана in Haskell
а хм, у меня 8.10.1, сейчас обновлю
источник
17:38пожаловаться#8

MK

Maxim Koltsov in Haskell
Погоди, :~: можно так использовать?
источник
17:38пожаловаться#9

MK

Maxim Koltsov in Haskell
Фигасе
источник
17:39пожаловаться#10

к

кана in Haskell
а как его еще можно использовать?
источник
17:39пожаловаться#11

к

кана in Haskell
подразуемеваешь что на тайплевеле?
источник
17:40пожаловаться#12

a

adam in Haskell
так прикольно читать этот чат будто кто-то недавно открыл огонь
источник
17:41пожаловаться#13

a

adam in Haskell
Maxim Koltsov
Погоди, :~: можно так использовать?
может ты с ~ перепутал?
источник
17:42пожаловаться#14

MK

Maxim Koltsov in Haskell
adam
может ты с ~ перепутал?
Я видел Refl только на вэлью левеле
источник
17:45пожаловаться#15

MK

Maxim Koltsov in Haskell
Когда eqT используешь
источник
17:46пожаловаться#16

MK

Maxim Koltsov in Haskell
Не думал даже использовать его в семействах
источник
17:46пожаловаться#17

MK

Maxim Koltsov in Haskell
Я его гхцшной магией считал просто, которую мне тайпабл даёт
источник
17:46пожаловаться#18

к

кана in Haskell
условно :~: можно считать как Dict (a :~: b)
где
data Dict c = c => MkDict

type a :~: b = Dict (a ~ b)
pattern Refl :: a ~ b => Dict (a ~ b)
pattern Refl = MkDict

так что если ~ поднимается на каиндлевел, то и :~:
источник
17:48пожаловаться#19

к

кана in Haskell
ну магия в eqT полагаю действительно есть, он создает a ~ b инстанс из воздуха, если фингерпринты совпадают
источник
17:53пожаловаться#20