haskell - 区分字符串和 [Char]

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 的实例.