7

我正在使用以下类型类：

module T where
class T a where
  v :: a

我实现的一个实例T Int：

import T
import A (av)

instance T Int where
  v = 0

main = putStrLn (av ++ show v)

还有一个我想使用其中的值的模块，它也有一个T Int.

module A where
import T
instance T Int where
  v = 0
av = "value from A"

问题是这不起作用：

$ runghc Main.hs 

Main.hs:4:9:
    Duplicate instance declarations:
      instance T Int -- Defined at Main.hs:4:9-13
      instance T Int -- Defined at A.hs:3:9-13

Haskell 抱怨同一个实例有 2 个声明。我怎么能告诉他不要从 导入实例B，或者统一两个实例，或者只使用从 实例Main？

4

1 回答 1

8

不幸的是，您无法控制实例的导入和导出方式。请参阅Haskell 导入是否有副作用？.

这意味着您必须重构代码以确保实例仅在一个文件中定义。一般来说，最好只在定义类或数据类型的文件中定义一个实例——事实上，甚至有一个关于不遵循此规则的“孤立”实例的警告。（查看Haskell中的孤立实例，详细讨论为什么应该避免孤立实例。）

但是，如果由于某种原因这是不可能的，您仍然可以任意选择一个文件来保留它，甚至创建一个新模块以供需要该特定实例的所有文件导入。

更一般地说，您将如何处理两个实例做不同事情的可能性，例如：

instance T Int where v = 0
{- And in a different file: -}
instance T Int where v = 1

在不显着改变 Haskell 类型类系统的工作方式的情况下，确实没有立即明显的方法来消除这两者的歧义。

由于您自己编写了其中一个实例，因此只需删除该实例即可。由于它与预定义的相同，因此只需将该模块导入您需要使用它的任何地方。

于 2013-05-08T01:36:14.277 回答