Erstellen einer Koordinatenklasse in Haskell

Question

Ich versuche, zwei polymorphe Tupel paarweise zu addieren. (Die Typen des ersten Elements in einem Tupel sollte die gleiche wie die erste in der zweiten und ebenfalls für das zweite Element sein) Hier ist mein Code:

module Main where 

class Coordinate a where 

    createCoordinate :: a 

    getFirst :: (a,b) -> a 

    getSecond :: (a,b) -> b 

    addCoordinates :: (a,b) -> (a,b) -> (a,b) 

instance Coordinate() where 

    createCoordinate =() 

    getFirst (a,b) = a 

    getSecond (a,b) = b 

    addCoordinates a b = (getFirst a + getFirst b, getSecond a + getSecond b) 

Also, das Problem ist, mit meiner addCoordinates Funktion. Ich habe mich gefragt, ob mir jemand helfen könnte, wie man die Funktion implementiert. Danke! :)

Answer 1

Sie wahrscheinlich einen Datentyp mögen, keine Klasse:

data Coordinate a b = Coordinate { getFirst :: a, getSecond :: b } 
    deriving (Eq, Ord, Show) 

Ihre Funktionen wären dann:

createCoordinate :: a -> b -> Coordinate a b 
createCoordinate a b = Coordinate a b 

addCoordinates :: (Num a, Num b) => Coordinate a b -> Coordinate a b -> Coordinate a b 
addCoordinates (Coordinate a1 b1) (Coordinate a2 b2) = Coordinate (a1+a2) (b1+b2) 

Beachten Sie, dass a und b von jeder Art sein können, aber addCoordinates funktioniert nur, wenn sie Instanzen von Num sind, weil wir + auf sie anwenden möchten. Sie benötigen keine Typklasse, um Coordinate zu definieren.

A typeclass Sie erlauben würde, die Dinge zu definieren, die Werte zum Beispiel initialisiert werden kann, um den Standard:

class DefaultInitializable a where 
    defaultInit :: a 

Wir haben dann Int eine Instanz dieser Klasse machen können:

instance DefaultInitializable Int where 
    defaultInit = 0 

Und wir können make Coordinate eine Instanz, solange ihre Parameter auch Instanzen sind:

instance (DefaultInitializable a, DefaultInitializable b) => DefaultInitializable (Coordinate a b) where 
    defaultInit = Coordinate default default 

Answer 2

Ich fühle mich dies eine Lösung sein könnte, was ich wollte

module Main where 

class Coordinate c where 

    createCoordinate :: x -> y -> c x y 

    getFirst :: c x y -> x 

    getSecond :: c x y -> y 

    addCoordinates :: (Num x) => (Num y) => c x y -> c x y -> c x y 

instance Coordinate (,) where 

    createCoordinate a b = (a,b) 

    getFirst (a,_) = a 

    getSecond (_,b) = b 

    addCoordinates a b = (getFirst a + getFirst b, getSecond a + getSecond b)