Телеграмм чат группы haskellru страница 15306

кана

или зависимый форал и раньше был?

не, forall -> именно там появился

20:01пожаловаться #1

А, блин
Новый гц!

20:01пожаловаться #2

но вообще за последние 5 лет были только два релиза с фичами 8.0 и 8.6

20:01пожаловаться #3

Симплифаед самсапшон в девятку только?

20:01пожаловаться #4

Maxim Koltsov

Виндовый ио менеджер там?

виндовый в 9

20:02пожаловаться #5

A64m AL256m qn I0

виндовый в 9

Ясно

20:02пожаловаться #6

кана in Haskell

так, я еще помню, что как часть завтипов, хотят добавить некий foreach ->, а чем он от forall -> для функций будет отличаться?

20:02пожаловаться #7

Maxim Koltsov

А, блин
Новый гц!

он хоть работает у кого-нибудь?

20:02пожаловаться #8

Вершилов бенчил

20:02пожаловаться #9

Но вроде так и не запостил итог

20:02пожаловаться #10

думаю, он нормальным через пару-тройку релизов только будет

20:02пожаловаться #11

кана in Haskell

то есть чем

f :: forall (n :: Nat) -> G n
f n = ...

будет отличаться от

f :: foreach (n :: Nat) -> G n
f n = ...

20:03пожаловаться #12

кана in Haskell

или foreach уже передумали вводить?

20:03пожаловаться #13

кана

ну на тайплевеле форолл с допотопных времен "форич", завкайнды-то в хаскеле давно уже

20:03пожаловаться #14

unused-packages варнинг

20:03пожаловаться #15

unused-wildcards ещё, но он не то чтобы полезный

20:03пожаловаться #16

Maxim Koltsov

Вершилов бенчил

у него емнип никакой разницы не было

20:04пожаловаться #17

Add new flag -fkeep-going which makes the compiler continue as far as it can despite errors.

20:04пожаловаться #18

О, а это в ci полезно

20:04пожаловаться #19

я только игрушечные бенчмарки с ним погонял, с которых делал мап на гигабайты и там были АДОВЫЕ ПАУЗЫ