Haskell 元组连接函数定义问题

Question

我正在尝试定义一个函数，它将连接两个 (Int, Char) 元组，如下所示:

tupleCat :: (Integral a, Char b )=> (a, b) ->  (a, b) -> (a, [Char])
tupleCat (x1, y1) (x2, y2) =(x1+ x2, [y1] ++ [y2])

但是，我收到以下错误消息:

Type constructor `Char' used as a class ...

我做错了什么？

Answer 1

Char 不是类型类，它是一个类型:

tupleCat :: (Integral a) => (a, Char) ->  (a, Char) -> (a, [Char])
tupleCat (x1, y1) (x2, y2) =(x1 + x2, [y1] ++ [y2])

如果您真的想要 Int 而不是 Integral，它们也是类型:

tupleCat :: (Int, Char) ->  (Int, Char) -> (Int, [Char])
tupleCat (x1, y1) (x2, y2) =(x1+ x2, [y1] ++ [y2])

此外，您可能会考虑将其设为新类型并实现 Monoid 类型类(如评论中所建议)。一种可能是

newtype Cat = Cat (Int, String)

instance Monoid Cat where
  mempty = Cat (0, [])
  mappend (Cat (i1,s1)) (Cat (i2,s2)) = Cat (i1 + i2, s1 ++ s2)

有了这个定义，tupleCat 就变成了mappend。然后你可以，例如连接每个 Foldable(例如列表)中的 Cat。当然我不知道你的意图，所以这只是一个有根据的猜测。