Haskell怎么支持递归数据结构

Haskell 支持递归数据结构，其中最常见的方式是使用代数数据类型。代数数据类型允许定义自己的数据类型，其中可以包含构造器，这些构造器可以包含递归引用自身的类型。例如，下面是一个定义二叉树的代数数据类型的例子：

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

在这个例子中，BinaryTree 是一个代数数据类型，其中包含两个构造器：Leaf 表示空叶子节点，Node 表示一个包含值和两个子树的节点。这里的 BinaryTree a 是递归定义的，因为 Node 构造器的参数是 BinaryTree a 类型。

使用递归数据结构时，你可以使用递归函数来处理这些数据结构。例如，下面是一个计算二叉树叶子节点数的函数：

countLeaves :: BinaryTree a -> Int
countLeaves Leaf = 1
countLeaves (Node _ left right) = countLeaves left + countLeaves right

在这个例子中，countLeaves 函数递归地遍历二叉树，如果遇到叶子节点则返回 1，否则递归地计算左右子树的叶子节点数并相加。

通过代数数据类型和递归函数，Haskell 能够很方便地支持递归数据结构的定义和操作。