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

давайте, заставим комитет ввести фичу доказательства равнозначности тайпклассов

Алексей Худяков... in Haskell

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

АХ

Не только. Но с Num совсем плохо, т.к. самые базовые операторы оказываются непригодны к использованию

Алексей Худяков... in Haskell

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

АХ

23:51пожаловаться #3

A64m AL256m qn<co... in Haskell

чего в хаскеле не хватает, так это возможности лишние запятые ставить

23:51пожаловаться #4

[

ну, что все твои кольца, группы и прочее включает в себя Num и для любого Num будут бесплатные кольца с аддативными моноидами

23:52пожаловаться #5

[

зачем нужны запятые?

Алексей Худяков... in Haskell

23:52пожаловаться #6

АХ

Я думаю в другую строну: instance Num просто является сахаром для instance Ring, instance NumStuf ...

23:53пожаловаться #7

A64m AL256m qn<co... in Haskell

слышал это очень важно, некоторые хаскелисты аж порвались при обсуждении
наверное порог вхождения снижает

23:53пожаловаться #8

[

а какие у них аргументы

23:55пожаловаться #9

A64m AL256m qn<co... in Haskell

дифф-френдли

23:59пожаловаться #10

2021 June 17

кана in Haskell

запятые были бы полезны, если бы был общепринят формат

x = [
1,
2,
3,
]

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

кана in Haskell

потому что тогда можно было бы безболезненно двигать строки вверх/вниз, а не как сейчас

а без этого хвостовые запятые ничего не поменяют особо

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

00:09пожаловаться #13

Так убрал .*Record

00:10пожаловаться #14

Maxim Koltsov in Haskell

это пурса?

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

Да

00:11пожаловаться #16

Leonid 🦇 Onokhov in Haskell

Опердени важнее линала, так то

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

мне вот это в LANGUAGE прагмах раздражает

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

кана in Haskell

а зачем их перемещать

00:36пожаловаться #19

или несколько раз копировать LANGUAGE, или никак