Играюсь с GADT-ами и дерайвингом Genericа для них. Вот такое

Question

Играюсь с GADT-ами и дерайвингом Genericа для них. Вот такое

проходит:

class X a; class Y a
data T :: (* -> Constraint) -> * where
T1 :: { x :: Int } -> T c
T2 :: { y :: Bool } -> T c
deriving instance Generic (T X)
deriving instance Generic (T Y)
deriving instance Show (T X)
deriving instance Show (T Y)

но T1, T2 не привязаны к X, Y; Когда же пытаюсь сделать:

class X a; class Y a
data T :: (* -> Constraint) -> * where
T1 :: X ~ c => { x :: Int } -> T c -- or T X
T2 :: Y ~ c => { y :: Bool } -> T c -- or T Y

уже Generic-и не дерайвятся (vanilla data constructor хотят). Это как-то можно обойти, чтоб дерайвнуть их автоматически? Или вообще нет никакого способа?

#haskell #programming #russian

0

13.08.2020

1 ответов

11 просмотров

TOV_MULTIMASSO · Accepted Answer

TOV_MULTIMASSO

Чисто логически, при помощи генериков можно создать некорректный GADT. Ну и да, тебе ж нужно как-то в конструктор Constraint'ы положить.

0

13.08.2020

169 похожих чатов

Играюсь с GADT-ами и дерайвингом Genericа для них. Вот такое

1 ответов

Похожие вопросы