'+' est pas une méthode visible de classe

Question

Je suis en train de faire la structure personnalisée dans Haskell comme ceci:

data Interval = Interval Float Float 
instance Interval Float Float where 
(Interval a b) + (Interval c d) = Interval (a + c) (b + d) 
(Interval a b) - (Interval c d) = Interval (a - c) (b - d) 

Mais les erreurs de everytime se produisent comme:

'+' est pas une méthode visible de classe 'Interval' Alors, comment dois-je faire correctement?

Answer 1

Vous mélangez des définitions de types de données et des classes de types.

data Interval = Interval Float Float 

définit un nouveau type de données Interval, mais

instance Interval Float Float where 

serait la tentative de créer une instance d'une classe de type Interval.

Je ne suis pas sûr de ce que vous aviez l'intention, mais si vous voulez faire votre type Interval conforme à la classe de type Num qui offre des opérateurs tels que (+) etc. Ensuite, vous écrivez:

data Interval = Interval Float Float 

instance Num Interval where 
    (+) (Interval a b) (Interval c d) = Interval (a + c) (b + d) 
    (-) (Interval a b) (Interval c d) = Interval (a - d) (b - c) 

Notez que vous besoin d'implémenter plus de fonctions pour une instance complète de Num.

Answer 2

Ce que vous avez

data Interval = Interval Float Float 

Vous dites Interval est un type avec un constructeur (également nommé Interval) qui a deux champs sans nom de type Float.

instance Interval Float Float where 

Vous dites Interval est une classe de type (PAS TYPE) qui prend deux paramètres de type que vous avez fournis comme Float s. Cela implique qu'il y a une ligne quelque part qui indique class Interval a b where ....

(Interval a b) + (Interval c d) = Interval (a + c) (b + d) 
(Interval a b) - (Interval c d) = Interval (a - c) (b - d) 

Ici, en supposant que vous MENT indenter, vous définissez deux fonctions qui sont des méthodes de la classe de type Interval (qui n'existe pas) et ces méthodes sont nommés + et -.

Qu'est-ce que vous pourriez avoir voulu

Je pense que vous vouliez définir un type, l'intervalle, et vous avez fait.

Je pense que vous vouliez définir addition et la soustraction qui sont des méthodes de la classe de type Num:

instance Num Interval where 
    (Interval a b) + (Interval x y) = Interval (a + b) (x + y) 
    ...