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

2010?

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

смешно, что это вообще вопрос

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

неужели в репорте есть что-то, чего нет в мануале?

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

Maxim Koltsov

неужели в репорте есть что-то, чего нет в мануале?

так примерно всего что есть в репорте в мануале нету

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

(токо всего что есть в 98 репорте)

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

то что добавили в 2010 репорт из мануала не убирали

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

а конструкторы-операторы уже были в 98?

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

я думал это вообще расширение, а не что-то из репорта

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

были, конечно

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

окей

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

как хорошо что среди нас есть историк

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

они вроде вообще с первого драфта репорта были : же

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

расширение это типы-операторы

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

ок

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

https://twitter.com/TechnoEmpress/status/1362330459485700096

Twitter

Ἑκάτη

Funny thing: if the laziness of a function is optimised away by GHC in a majority of the cases (and as such only lives in GHCi), don't get too attached to it when there is a proposal to upstream the laziness to the code rather than leaving it to the optimiser.

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

практически перестал читать хаскель-твиттор чтоб не бомбило, а хаскель-твиттор меня и здесь достал Ж((((

https://twitter.com/TechnoEmpress/status/1362330459485700096

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

Misha Puzanov in Haskell

Maxim Koltsov

Twitter

Ἑκάτη

в очередной раз строгость по-умолчанию и тип Lazy a?

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

Nick Ivanych in Haskell

В некотором виде, это уже есть.
Но не настолько, чтоб аж Lazy a, конечно.

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

в 9.2 может будет

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

если анлифтед типы вмерджить успеют