come scrivere una classe derivabile?

Question

Ho questo

data Something = Something Integer deriving (MyClass, Show) 

class MyClass a where 
    hello :: MyClass a => a -> a 

instance MyClass Integer where 
    hello i = i + 1 

main = print . hello $ Something 3 

ma MyClass non è derivabile. Perché?

Answer 1

GHC non è in grado di ricavare magicamente istanze per tipi di dati arbitrari. Tuttavia, lo può utilizzare il fatto che le dichiarazioni newtype creano un nuovo nome per lo stesso tipo sottostante per derivare le istanze per quelli che utilizzano l'estensione GeneralizedNewtypeDeriving. Quindi, si potrebbe fare qualcosa di simile:

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

newtype Something = Something Integer deriving (MyClass, Show) 

class MyClass a where 
    hello :: MyClass a => a -> a 

instance MyClass Integer where 
    hello i = i + 1 

main = print . hello $ Something 3 

La ragione GHC non può derivare la nuova istanza è che non sa che cosa l'istanza dovrebbe essere. Anche se il tuo tipo di dati ha solo un campo, potrebbe non essere lo stesso come quel campo. La possibilità di derivare istanze per newtype s è conveniente, poiché esse sono solitamente utilizzate per fornire comportamenti diversi per determinati tipi di caratteri o come metodo per utilizzare il sistema di tipi per separare elementi che hanno lo stesso tipo ma usi diversi nel codice.

Answer 2

Si consiglia di dare un'occhiata al GHC documentation on Generic Programming.
È necessario creare una classe che possa funzionare su una rappresentazione generica di tipi arbitrari. Non penso che l'esempio specifico che hai dato sia ragionevole per una classe derivabile.