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

интересно, допущения для срезания углов где-нибудь описаны

12:02пожаловаться #1

Вот это я и называю хаками

12:02пожаловаться #2

Kirill Zaborsky in Haskell

у криса пост был же

12:02пожаловаться #3

Kirill Zaborsky

у криса пост был же

поищу, спасибо

12:02пожаловаться #4

Да, описаны, чуть ли не в документации, но в посте точно

https://chrisdone.com/posts/fast-haskell-c-parsing-xml/

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

Kirill Zaborsky in Haskell

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

Kirill Zaborsky in Haskell

вполне себе хаки, да

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

весело! спасибо!

> if we switch

ну т.е. они таки это сделали

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

Velvet Darkness in Haskell

Вот тебе и "We're Haskellers, we like safety. I'll keep my safe functions".

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

type safety = проверка типов не сегфолтится

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

Aleksei (astynax) Pi... in Haskell

это typing safety тогда уж

12:24пожаловаться #13

кана in Haskell

Alexander Vershilov

type safety = проверка типов не сегфолтится

пустая проверка типов никогда не сегфолтится

12:25пожаловаться #14

Aleksei (astynax) Pi... in Haskell

type safety — "нет типов — нет опасности"

12:25пожаловаться #15

ПК

Паша Калугин... in Haskell

ахах

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

typing safety = вы не сломаете руки пока печатаете

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

это всё кроме j, perl, agda, coq

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

Ну и емакс тоже вылетает

12:26пожаловаться #19

Aleksei (astynax) Pi... in Haskell

В имаксе не переломы. Вывихи в основном