Wie schreibe ich eine ableitbare Klasse?

Question

ich habe diese

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 

aber MyClass ist nicht ableitbar. Warum?

Answer 1

GHC kann Instanzen für beliebige Datentypen nicht magisch ableiten. Jedoch kann die Tatsache nutzen, dass newtype Deklarationen einen neuen Namen für den gleichen zugrunde liegenden Typ erstellen, um Instanzen für diejenigen ableiten, die die GeneralizedNewtypeDeriving Erweiterung verwenden. So konnten Sie so etwas tun:

{-# 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 

Der Grund GHC nicht die neue Instanz ableiten kann, ist, dass sie nicht weiß, was die Instanz sein sollte. Auch wenn Ihr Datentyp nur ein Feld enthält, ist es möglicherweise nicht unbedingt das selbe wie das Feld. Die Möglichkeit, Instanzen für newtype s abzuleiten, ist praktisch, da sie normalerweise verwenden, um unterschiedliche Verhaltensweisen für bestimmte Klassen bereitzustellen oder das Typsystem zu verwenden, um Dinge zu trennen, die denselben Typ, aber unterschiedliche Verwendungen in Ihrem Code haben.

Answer 2

Vielleicht möchten Sie sich die GHC documentation on Generic Programming ansehen.
Sie müssen eine Klasse erstellen, die an einer generischen Darstellung beliebiger Typen arbeiten kann. Ich denke nicht, dass das spezifische Beispiel, das Sie gegeben haben, für eine ableitbare Klasse angemessen ist.