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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

к

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

к

кана in Haskell
а там не будет, и будет рантайм ошибка
источник
13:43пожаловаться#2

YS

Yan Shkurinskiy in Haskell
Ну он же не сможет forall a привести к ()?
источник
13:43пожаловаться#3

к

кана in Haskell
forall a. m a как раз можно легко привести к m ()
источник
13:44пожаловаться#4

YS

Yan Shkurinskiy in Haskell
не ну, если у кейса будет тип forall a. m a, мы же не сможем сделать там ветку m ()?
источник
13:44пожаловаться#5

к

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

к

кана in Haskell
ну вот пример

do
 case x of
   True -> empty
 someAction
источник
13:45пожаловаться#7

к

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

YS

Yan Shkurinskiy in Haskell
Я может не понимаю чего - а как из ожиданий хаскелиста следует работы компилятора? х(
источник
13:46пожаловаться#9

к

кана in Haskell
потому что зачем нам контринтуитивный компилятор?
источник
13:47пожаловаться#10

к

кана in Haskell
я все это к тому, что с такой фичей шанс ошибки увеличивается
источник
13:47пожаловаться#11

YS

Yan Shkurinskiy in Haskell
я готов к контринтуитивному компилятору, потому что не верю своей интуиции)
источник
13:47пожаловаться#12

YS

Yan Shkurinskiy in Haskell
она плохая, а теория под компилятором всяко лучше!
источник
13:47пожаловаться#13

к

кана in Haskell
кана
я все это к тому, что с такой фичей шанс ошибки увеличивается
раньше программист знал что если опустит ветку, то это может привести к ошибке, а сейчас он будет думать что упустил ветку и будет pure (), а тут не будет
источник
13:48пожаловаться#14

DI

Dmitry Ivanov in Haskell
для любителей интуитивного есть  wolfram language
источник
14:51пожаловаться#15

DI

Dmitry Ivanov in Haskell
принимает что угодно и как-то интерпретирует
источник
14:51пожаловаться#16

YS

Yan Shkurinskiy in Haskell
Мне кажется, для любителей интуитивности надо менеджером быть)
источник
14:52пожаловаться#17

YS

Yan Shkurinskiy in Haskell
Говоришь программисту на своём родном что надо - он как-то делает
источник
14:52пожаловаться#18

YS

Yan Shkurinskiy in Haskell
Ух ты, Александр Гранин и Алексей Пирогов будут на хекслете вещать!
источник
15:08пожаловаться#19

YS

Yan Shkurinskiy in Haskell
Надо глянуть
источник
15:08пожаловаться#20