Devrais-je utiliser des typeclasses ou non?

Question

J'ai quelques difficultés à comprendre lors de l'utilisation et quand ne pas utiliser typeclass dans mon code. Je veux dire créer mon propre, et non utiliser déjà défini typeclasses, bien sûr. Par exemple (exemple très stupide), dois-je faire:

data Cars = Brakes | Wheels | Engine 
data Computers = Processor | RAM | HardDrive 

class Repairable a where 
    is_reparaible :: a -> Bool 

instance Repairable Cars where 
    is_repairable (Brakes) = True 
    is_repairable (Wheels) = False 
    is_repairable (Engine) = False 

instance Repairable Computers where 
    is_repairable (Processor) = False 
    is_repairable (RAM)  = False 
    is_repairable (HardDrive) = True 

checkState :: (Reparaible a) => a -> ... 
checkState a = ... 

(Évidemment, ceci est un exemple stupide, incomplète).

Mais c'est beaucoup pour une petite utilisation, non? Pourquoi je ne devrais pas faire quelque chose de simple et seulement définir des fonctions sans définir de nouveaux types de données et typeclasses (avec leurs instances).

Cet exemple est trop simple, mais en fait, je vois souvent des choses comme ça (nouveaux types de données + typeclasses + instances) quand je parcours le code Haskell sur github au lieu de définir uniquement des fonctions. Donc, quand je devrais créer de nouveaux types de données, typeclasses etc et quand devrais-je utiliser des fonctions?

Merci.

Answer 1

Pourquoi je ne devrais pas faire quelque chose de simple et seulement définir des fonctions sans définir de nouveaux types de données et (avec leurs classes de types cas).

Pourquoi en effet? Vous pouvez simplement définir:

checkState :: (a -> Bool) -> (a -> b) -> (a -> b) -> a -> b 
checkState is_repairable repairs destroy a 
    = if (is_repairable a) then repairs a else destroy a 

Les utilisateurs abusent des classes de types tout le temps. Cela ne veut pas dire que c'est idiomatique.

Pour répondre à votre question plus générale, voici quelques règles de base pour savoir quand utiliser des classes de type et quand ne pas les utiliser:

classes de type Utiliser si:

• Il n'y a qu'un seul comportement correct par type donné

• La classe de type a associé les équations (ie "lois") que toutes les instances doivent satisfaire

Ne pas utiliser les classes de type si:

• Vous essayez de juste des choses d'espace de noms. C'est à ça que servent les modules et les espaces de noms.

• Une personne qui utilise votre classe de type ne peut pas raisonner sur la façon dont il se comportera sans regarder le code source des instances

• Vous trouvez que les extensions que vous devez activer sont hors de contrôle

Answer 2

Vous pouvez souvent utiliser un type de données au lieu d'une classe de type, par exemple

data Repairable a = Repairable 
    { getRepairable :: a 
    , isRepairable :: Bool 
    , canBeRepairedWith :: [Tool] -> Bool -- just to give an example of a function 
    } 

Bien sûr, vous devez transmettre cette valeur explicitement, mais cela peut être une bonne chose si vous avez plusieurs choix (pensez par exemple de Sum et Product que possible Monoid s pour les nombres). Sauf que vous avez plus ou moins la même expressivité que pour une classe-type.