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

ну я не удивлюсь, если какие-то хаскелисты начнут говорить про все что не попадет в гхц2021 что оно "депрекейтед" типа как про н плюс к паттерны говорят

источник

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

A64m AL256m qn<co... in Haskell

даже если в гхц2021 вообще ничего не попадет, что все еще возможно

источник

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

Yuuri in Haskell

«Полулинзы» только из сеттера как-нибудь называются? Допустим, если мне нужно навестись на элемент в контейнере, которого там может ещё не быть, чтобы вставить или изменить

источник

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

Kirill Valyavin in Haskell

Yuuri

Setter?

источник

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

Yuuri in Haskell

Похоже :3

источник

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

Ilya Kos in Haskell

Это либо спам

источник

15:37пожаловаться #9

Ilya Kos in Haskell

Либо человек просто ошибся

источник

15:37пожаловаться #10

Maxim Koltsov in Haskell

не спам, ошибся чатом

источник

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

Maxim Koltsov in Haskell

я снёс

источник

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

кана in Haskell

очень, ОЧЕНЬ нужны уже data-типы, которые сразу можно использовать только тайп-левеле, а поэтому и сразу в конструторах можно использовать forall a ->, потому что большая чатсь кода это вот такие вот алиасы над конструкторами, чтобы удобно передавать типопеременные

источник

15:43пожаловаться #13

кана in Haskell

есть вот этот принятый пропосал

https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0106-type-data.rst

но он вообще ничего не говорит про GADT и возможность писать forall -> в конструкторах

GitHub

ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell - ghc-proposals/ghc-proposals