class - 非法实例声明

Question

我刚刚用 Haskell 创建了一个类，但是我的一个实例有问题。我创建了这个类:

class Symbol a where
  nameSym :: a -> String

还有这些实例:

instance Symbol Double where
  nameSym db = show db 

instance Symbol String where
  nameSym str = str

但在编译时，我收到以下错误消息:

Illegal instance declaration for `Symbol String'
  (All instance types must be of the form (T t1 ... tn)
   where T is not a synonym.
In the instance declaration for `Symbol String'

你知道是什么问题吗？

Answer 1

问题在于 String 是 [Char] 的类型别名，而 Haskell 98 规范不允许在类型别名上定义实例。这可以通过在文件头中添加这个来解决:

{-# LANGUAGE TypeSynonymInstances #-}

但是，这仍然不允许您编译程序，因为 Haskell 98 也不允许 [SomeConcreteType] 的实例(仅 [a] 的实例是允许的——感谢 Ørjan 指出了这一点)，虽然在 Haskell 98 中存在一种不使用语言编译指示的解决方法，但解决这个问题的最简单方法(而且它也是完全安全和惯用的)是添加以下杂注:

{-# LANGUAGE FlexibleInstances #-}

— 这也启用了 TypeSynonymInstances，因此您不需要同时保留两个 pragma。