在 Haskell 中创建一个坐标类

Question

我正在尝试以成对的方式将两个多态元组添加在一起。 （一个元组中的第一个元素的类型应该与第二个中的第一个元素的类型相同，第二个元素的类型也一样） 这是我的代码：

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)

所以，问题在于我的 addCoordinates 函数。我想知道是否有人可以为我提供有关如何实现该功能的任何帮助。 谢谢！ :)

Answer 1

你可能想要一个数据类型，而不是一个类：

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

你的函数会变成：

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)

注意a 和b 可以是任何类型，但addCoordinates 仅在它们是Num 的实例时才有效，因为我们希望将+ 应用于它们。您不需要类型类来定义Coordinate。

类型类允许您定义可以初始化为默认值的事物，例如：

class DefaultInitializable a where
    defaultInit :: a

然后我们可以让Int 成为这个类的一个实例：

instance DefaultInitializable Int where
    defaultInit = 0

而且我们可以让Coordinate 成为一个实例，只要它的参数也是实例：

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

Answer 2

我觉得这可能是我想要的解决方案

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)