Question

我知道String被定义为[Char]，但我想在类实例中区分它们。除了使用newtype创建一个单独的类型之外，是否可以使用一些聪明的技巧？我想做点什么：

class Something a where     
  doSomething :: a -> a

instance Something String where
  doSomething = id

instance (Something a) => Something [a] where
  doSomething = doSoemthingElse

使用doSomething ("a" :: [Char])和doSomething ("a" :: String)调用时，会得到不同的结果。

我确实知道FlexibleInstances和OverlappingInstances，但他们显然不会这样做。

Answer 1

这是不可能的。 String和[Char]属于同一类型。没有办法区分这两种类型。使用OverlappingInstances，您可以为String和[a]创建单独的实例，但[Char]将始终使用String的实例。

Answer 2

为什么不为每种情况定义函数：

doSomethingString :: String -> String
doSomethingString = id

doSomethingChars :: (Char -> Char) -> String -> String
doSomethingChars f = ...

Answer 3

如前所述，String和[Char]实际上是相同的。

您可以做的是定义newtype。它包装了一个类型（免费，因为它在编译时被完全删除）并使其表现得像一个不同的类型。

newtype Blah = Blah String

instance Monoid Blah where
  mempty = Blah ""
  mappend (Blah a) (Blah b) = Blah $ a ++ "|" ++ b

区分String和[Char]

3 个答案: