dichiarazioni di dati Template Haskell che derivano Visualizza

Question

Quanto segue non può essere compilato:

import Language.Haskell.TH 
makeAlpha n = [d| data Alpha = Alpha $(conT n) deriving (Show, Read) |] 

non riesco a capire che cosa l'errore significa affatto:

Can't derive instances where the instance context mentions 
type variables that are not data type parameters 
    Offending constraint: Show t_d 
When deriving the instance for (Show Alpha) 
In the Template Haskell quotation 
    [d| data Alpha = Alpha $(conT n) deriving (Show, Read) |] 
In the expression: 
    [d| data Alpha = Alpha $(conT n) deriving (Show, Read) |] 

E 'possibile fare derivazioni come questo?

Answer 1

Questo problema si verifica perché le quotazioni TH vengono controllate quando vengono compilate, con le giunzioni sostituite da variabili. Di solito, questa è una buona idea, perché consente di rilevare molti tipi di problemi prima che venga eseguita la giunzione, ma in alcuni casi ciò può impedire al compilatore di rifiutare in modo errato una giunzione che genererebbe codice valido.

In questo caso, ciò significa che il compilatore cerca di controllare questo codice:

data Alpha = Alpha t deriving (Show, Read) 

Ciò non funziona perché i derivati ​​Show e Read casi hanno bisogno di usare Show e Read per t, ma dal momento che t non è un parametro di tipo Alpha, non è possibile aggiungere i vincoli necessari. Naturalmente, quando viene eseguito questo splicing, t viene sostituito da un tipo concreto, quindi le istanze appropriate saranno disponibili senza la necessità di alcun vincolo, quindi questo è uno dei casi in cui il compilatore è troppo cauto.

La soluzione alternativa consiste nel non utilizzare le virgolette, ma utilizzare i combinatori TH, che non sono soggetti a questi controlli aggiuntivi. E 'disordinato, ma funziona:

C'è stato some talk about relaxing the checks done on quotes, ma per ora ti basta avere a che fare con esso.