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

data X = forall a. Show a => X a

f (X (a :: a)) = show . unZ . Z $ a
where
data Z = Z { unZ :: a }

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

не оч понятно как это выразить как глобальный тип

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

A64m AL256m qn<co... in Haskell

не, это другой пропозал, "локальные модули" в let и where не бывают, но есть пропозал с объявлениями data и т.д. в let и where

https://github.com/ghc-proposals/ghc-proposals/pull/273

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

A64m AL256m qn<co... in Haskell

GitHub

Add support for local types by treeowl · Pull Request #273 · ghc-proposals/ghc-proposals

Add support for locally defined types and instances.
Rendered

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

Maxim Koltsov in Haskell

Что угодно придумают лишь бы велью не приносить

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

[

давайте уж завтипы

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

Misha Puzanov in Haskell

прелесть, хочу такое

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

[

а это нормально, когда тайпалиасы ломают сигнатуру и всё покрывается ошибками?

UPD: Да, нормально, когда кодер - идиот

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

опять forall какой-нибудь?

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

[

нет, лишний параметр пихал в тайпалиас

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

[

Теперь другой вопрос :D

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

[

Есть вот такой тип, по нему выходит, что r принадлежит ко всем этим классам

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

[

Есть вот такая функция

23:57пожаловаться #13

(x:xs) <: r = (x r, xs <: r)
?

23:57пожаловаться #14

[

да

23:58пожаловаться #15

[

по идее r' уже принадлежит ко всем указанным классам

23:58пожаловаться #16

[

но если убрать это, то ф-ция ломается

23:58пожаловаться #17

что убрать

23:58пожаловаться #18

и почему принадлежит?

23:58пожаловаться #19

[