额外模块中不常见类型类的实例声明

Question

将不常见的类型类的实例声明放在额外的模块中是一种好的方式吗？

作为一个例子，我有这个简单的树类型：

module Data.Tree where

data Tree a = Leaf a
            | Node (Tree a) (Tree a)

假设我想使用 QuickCheck 的 Arbitrary 类型类生成 Tree 类型的随机值（并且不仅可以在测试中使用它们）。

什么是最好的？将它们放在定义 Tree 的同一模块中

module Data.Tree where

import QuickCheck.Arbitrary

data Tree a = ...

instance Arbitrary a => Arbitrary (Tree a) where
    ...

或将实例声明外包给另一个模块以避免在Data.Tree 中对QuickCheck.Arbitrary 的依赖

module Data.Tree.Arbitrary where

import Data.Tree
import QuickCheck.Arbitrary

instance Arbitrary a => Arbitrary (Tree a) where
    ...

还是完全不同的东西？

Answer 1

避免孤立实例通常是个好主意：它们总是有利于惊喜，而且很难找到。

所以，是的，将实例放在定义Tree 的模块中。这会使模块有点炸毁，但这不应该是一个真正的问题。在整个包的总构建时间中，如果您有一个较大的模块或两个较小的模块，这并不重要。

当您可以完全避免包依赖时，这可能会使孤立实例变得有价值，因为安装包显然比从已安装包中导入模块的性能问题要严重得多。