树可以泛化以允许任何可遍历的子树吗？
Data.Tree使用列表来表示以特定节点为根的子树。是否可以有两种树类型，例如一种使用列表，另一种使用向量？我希望能够编写不关心子树如何具体表示的函数，只关心子树是可遍历的，以及利用特定子树类型的函数，例如快速索引到向量中。
似乎字体系列将是适合这项工作的工具，尽管我以前从未使用过它们，而且我不知道如何真正定义正确的系列。
如果重要的话，我没有使用容器库树实例，而是使用类型
data Tree a b = Node a b [Tree a b] deriving (Show, Foldable, Generic)
和
data MassivTree a b = V a b (Array B Ix1 (MassivTree a b))
后者使用来自massiv 的向量。
回答
您可以使用类型类 - 实际上您需要的类型类可能已经存在。
考虑一下：
data Tree t a = Tree a (t (Tree t a))
Argumentt是一种更高级的类型，它表示as的容器。
现在定义一组树操作，约束Traversable如下：
:: (Foldable t) => Tree t a -> b
:: (Foldable t) => Tree t a -> b
您现在可以创建和操作使用任何Foldable. 您需要为您想要的一组操作选择正确的类型类 -Functor可能就足够了，或者Traversable如果您正在使用 monadic 操作做任何事情，您可能想要。您可以在每个函数的基础上选择类型类，具体取决于它的作用。
您现在可以Tree像这样定义类型：
您还可以定义特定于实例的函数，以访问所有功能：
type ListTree a = Tree [] a
type MassivTree r ix a = Tree (Array r ix) a
哈斯克林快乐！