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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1662 membersпожаловаться на группу
2020 December 14

AA

A64m AL256m qn<co... in Haskell
почему? у скоупед тайп вариеблс же всегда был еще вариант написания, который не требовал форолл
источник
22:07пожаловаться#1

AA

A64m AL256m qn<co... in Haskell
так что в этом плане ничего не изменилось
источник
22:07пожаловаться#2

к

кана in Haskell
x :: forall a. ...
y @b y = {1}
 where
   x :: b -- {2}
   x = y

1 - вот тут понятно почему есть b в контексте. Почему там должен быть "a" не ясно
2. вот тут понятно почему есть b, так же как в скоупе есть y, есть и b
источник
22:07пожаловаться#3

к

кана in Haskell
ну то есть скоупед-тайп-вар выглядят как костыль, который сейчас уже не так уж и нужен из-за этой фичи, потому что теперь все стало несколько более понятно
источник
22:07пожаловаться#4

к

кана in Haskell
понятно, что никто этого не выпилит никогда, но так хотелось бы
источник
22:07пожаловаться#5

к

кана in Haskell
f :: forall a с. a -> с -> (a, с)
f @b @a (x :: b) (y :: a) = (x, y) :: (b, a) -- никаких c в контексте быть не должно

вот что я ожидаю и вижу корректным
источник
22:09пожаловаться#6

AA

A64m AL256m qn<co... in Haskell
но что изменилось-то? еще до этого было
x (y :: b) =
источник
22:09пожаловаться#7

AA

A64m AL256m qn<co... in Haskell
также я, по-моему, вообще впервые вижу, что можно x @b y писать
источник
22:23пожаловаться#8

K

Kir in Haskell
Слава богам! Когда они это вмержат-то?
источник
22:27пожаловаться#9

AA

A64m AL256m qn<co... in Haskell
сегодня вмерджили
источник
22:29пожаловаться#10

AA

A64m AL256m qn<co... in Haskell
ну в смысле foo (Bar @a) вмерджили, насчет x @b y не уверен
источник
22:30пожаловаться#11

NI

Nick Ivanych in Haskell
А когда уже линейную логику уберут из хаскеля?
Сколько на неё жалуются!
источник
22:53пожаловаться#12

a

adam in Haskell
Когда уже типы уберут из хаскеля?
источник
23:00пожаловаться#13

к

кана in Haskell
когда уже хаскель будет кидать ворнинги, когда у терма указана аннотация или у определения сигнатура, которая и без нее такой же выводится
источник
23:04пожаловаться#14

K

Kir in Haskell
кана
когда уже хаскель будет кидать ворнинги, когда у терма указана аннотация или у определения сигнатура, которая и без нее такой же выводится
А зачем?
источник
23:04пожаловаться#15

MK

Maxim Koltsov in Haskell
Незачем
источник
23:05пожаловаться#16

к

кана in Haskell
а зачем другие ворнинги?
источник
23:05пожаловаться#17

MK

Maxim Koltsov in Haskell
Иди в окамл с такими хотелками
источник
23:05пожаловаться#18

K

Kir in Haskell
Наличие топ-левел сигнатур облегчает понимание, кмк
источник
23:05пожаловаться#19

к

кана in Haskell
так типы-то остаются
источник
23:06пожаловаться#20