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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

к

кана in Haskell
+
источник
13:38пожаловаться#1

IK

Ilya Kos in Haskell
кана
вот бы case в do-нотации работал бы так, что если в одной ветке (), то остальные ветки можно не писать, если там ~ pure ()
Звучит как слишком много магии
источник
13:38пожаловаться#2

YS

Yan Shkurinskiy in Haskell
Вроде нормально
источник
13:38пожаловаться#3

к

кана in Haskell
да нет, это работает банально как "если тип кейса m (), то добавить в конец _ -> pure ()"
источник
13:38пожаловаться#4

IK

Ilya Kos in Haskell
Это как преложение в идрисе было автоматически делать аппликативное применение функций без явного синтаксис
источник
13:38пожаловаться#5

IK

Ilya Kos in Haskell
кана
да нет, это работает банально как "если тип кейса m (), то добавить в конец _ -> pure ()"
Ну это на простом случае усе понятно
источник
13:39пожаловаться#6

к

кана in Haskell
а других случаев вроде бы и нет
источник
13:39пожаловаться#7

YS

Yan Shkurinskiy in Haskell
А какой сложный?
источник
13:39пожаловаться#8

IK

Ilya Kos in Haskell
А в общем случае это может сильно зафакапить выведение типов например
источник
13:39пожаловаться#9

к

кана in Haskell
нет может
источник
13:39пожаловаться#10

к

кана in Haskell
делать неполные кейсы можно и сейчас
источник
13:39пожаловаться#11

к

кана in Haskell
просто это проводит к рантайм ошибкам
источник
13:39пожаловаться#12

AV

Alexander Vershilov in Haskell
аа ааа
что происходит когда я вызываю foreign export функцию ? берется капабилити и блокируется его таск, и мой поток со стороны си становится таском этому капабилити?
Да
источник
13:40пожаловаться#13

YS

Yan Shkurinskiy in Haskell
Ilya Kos
А в общем случае это может сильно зафакапить выведение типов например
Ну, мне кажется, если одна ветка есть, из которой можно вывести тип, другие сделать будет не проблема
источник
13:40пожаловаться#14

YS

Yan Shkurinskiy in Haskell
Ну либо явно написать одну ветку с применением типа
источник
13:40пожаловаться#15

YS

Yan Shkurinskiy in Haskell
Или явной аннотацией, если вдруг...
источник
13:40пожаловаться#16

AV

Alexander Vershilov in Haskell
+- скорее там в пул задач добавляется твой тред как bounded
источник
13:40пожаловаться#17

к

кана in Haskell
нет ну у этого есть проблема
источник
13:42пожаловаться#18

к

кана in Haskell
программисты могут начать полагаться на это, а тут фигак и тип кейса - forall a. m a
источник
13:42пожаловаться#19

к

кана in Haskell
и компилятору нужно делать выбор, или привести это к () и добавить _ -> pure () (что не совсем правильно может быть)
источник
13:43пожаловаться#20