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

Гхц мог вытаскивать коерс из-под проверки, так что if typeIs @Int a then unsafeCoerce a :: Int else ... могло превратиться в let !b = unsafeCoerce a :: Int in if ... и привет сегфолт

источник

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

I O in Haskell

Как если бы я написал if b /= 0 then a / b else 1, а гхц это переделывает в let !r = a / b in if b /= 0 then r else 1

источник

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

Kir in Haskell

Мдаааа

источник

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

Andrey in Haskell

это только if .. then .. else касается?

источник

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

Andrey in Haskell

или с case ... of такие же приколы?

источник

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

I O in Haskell

Это же в коре, там ифов вообще нет

источник

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

[

[BRM]White Rabbit in Haskell

Она намекает, что на хаскеле нужно быть проще

источник

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

[

[BRM]White Rabbit in Haskell

Самая правильная версия - самая тупая. Мне кажется, это довольно концептуально

источник

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

[

[BRM]White Rabbit in Haskell

В том плане что
"О, нет, ты не можешь просто написать первый пришедший в голову код и соревноваться в скорости с ненаивными реализациями"
"Ха-ха, компилятор делает вжух"

источник

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