Size: a a a

2020 May 21

АХ

Алексей Худяков... in Haskell
Это минимально ломают. Придётся сигнатуру в лет добавить
источник

АХ

Алексей Худяков... in Haskell
Иногда новые расширения ломают туда-сюда пару релизов.
источник

к

кана in Haskell
ну так ломают же. А тут  придется rec добавить и : <-> :: заменить
источник

к

кана in Haskell
чтобы ничего не сломалось, достаточно просто не включать эти изменения
источник

АХ

Алексей Худяков... in Haskell
С DataKinds то тик не пишем, то пишем, то может опять не пишем
источник

к

кана in Haskell
NoStarKind ломает код с *
источник

АХ

Алексей Худяков... in Haskell
кана
ну так ломают же. А тут  придется rec добавить и : <-> :: заменить
Да, код с сигнатуров верен что с GADTs, что без них. А : & letrec — два разных языка по сути
источник

к

кана in Haskell
ну хорошо, код без аннотаций и списков будет верен что с этими расширяеми, что без, а GADTs два разных языка по сути
источник

к

кана in Haskell
ну короче я считаю такие расширениям более чем приемлемыми сами по себе, и letrec тем более, но вот ::/: может привести к хаосу
источник

AV

Alexander Vershilov in Haskell
введите let!
источник

AV

Alexander Vershilov in Haskell
для нерекурсивного
источник

AV

Alexander Vershilov in Haskell
так не только кодовые базы сломаете а ещё кучу книг и статей
источник

JS

Jerzy Syrowiecki in Haskell
никак не удаётся избегать успеха. новые конференции всё время появляются. и вот опять: https://haskell.love/
источник

к

кана in Haskell
да ничего не сломается, пока эксштеншен не включал, госпади
источник

A

Antonio in Haskell
больше бесполезных экстеншинов богу бесполезных экстеншинов!
источник

AV

Alexander Vershilov in Haskell
Сначала они рукаются на экстеншены, что их слишком много, потом вводят всякую ерунду
источник

AA

A64m AL256m qn<co... in Haskell
наконец-то хаскелисты поплатятся за то, что понаставили ненужных аннотаций типов везде! раньше надо было думать
источник

A

Antonio in Haskell
кстати это же продолжение той же шарманки с DAML (с которой RDS проклятье появилось)
следующий шаг появление говнопрепроцессора который sed/:/::/g делает
протом пропозал “у нас огромная скотобаза и всё уже используется, новички довольны”
источник

TZ

Timofey Zakrevskiy in Haskell
А) был; Б) много чего не умеет и никогда не будет иметь
источник

AV

Alexander Vershilov in Haskell
> протом пропозал “у нас огромная скотобаза и всё уже используется, новички довольны”

вот это вот
источник