Come scrivere un'istanza per tutti i tipi in un'altra classe di tipi?

Question

Devo definire una classe di tipo Truthy che contiene un metodo true che converte un'istanza della classe di tipo in un valore Bool.

mio tipo dichiarazione di classe:

class Truthy a where 
    true :: a -> Bool 

Avanti, devo definire istanze di questa classe di vari tipi, tra cui lista e tipi numerici. L'ho fatto per le liste e Int s, ma c'è un modo per farlo per tutti i tipi numerici contemporaneamente?

Sulla base della mia dichiarazione Int:

instance Truthy Int where 
    true = (/=) 0 

Ho provato ad aggiungere vincolo tipo di classe, ma non funziona:

instance (Num a) => (Truthy a) where 
    true = (/=) 0::a 

Se c'è un modo per farlo simile a quello che aveva in mente, o dovrei semplicemente definirlo separatamente per ciascun tipo numerico?

Answer 1

Questo potrebbe non essere di aiuto per i compiti, ma in realtà può scrivere una dichiarazione del genere. Devi solo abilitare -XFlexibleInstances per farlo. Almeno in GHC, è possibile farlo mettendo un pragma nella parte superiore del file:

{-# LANGUAGE FlexibleInstances #-} 

Se si guarda attentamente il messaggio di errore che hai, che ha detto qualcosa come "Usare -XFlexibleInstances se si desidera disabilitare questo. ".

In questo caso particolare, si sarebbe anche necessario attivare UndecideableInstances e OverlappingInstances:

{-# LANGUAGE FlexibleInstances, UndecideableInstances, OverlappingInstances #-} 

È necessario FlexibleInstances perché standard di Haskell non consente le istanze in qualsiasi forma in cui la variabile di tipo appare più di una volta in testa . Questo è completamente soddisfacente - io è una delle estensioni più comuni utilizzate (come da this question).

È necessario UndecideableInstances in quanto la dichiarazione dell'istanza potrebbe potenzialmente causare il ciclo continuo del controllo di tipo. Penso che l'uso di UndecideableInstances prevenga questo limitando quanto profondamente controllerà quando si tenta di ridurre l'istanza. Questo di solito è - anche in questo caso - ammenda, ma potrebbe teoricamente stabilire se un determinato programma supera i controlli di tipo dipendente dall'implementazione. Tuttavia, dovrebbe funzionare nel tuo caso.

Come Hammar ha sottolineato, è necessario attivare OverlappingInstances perché il "contesto" dell'istanza è ignorato al momento della verifica si sovrappongono. Il contesto è il Num a bit in questo caso. Quindi le istanze - per verificare se si sovrappongono - vengono lette come instance Truthy a... e si sovrappongono a tutto. Con OverlappingInstances abilitato, devi solo avere un'istanza che è la più specifica affinché funzioni.