Haskell中的代数数据类型怎么定义

在Haskell中，代数数据类型（Algebraic Data Types）可以通过data关键字来定义。语法如下：

data TypeName = Constructor1 Type1 Type2 ...
              | Constructor2 Type3 Type4 ...
              | Constructor3 Type5 Type6 ...
              ...

其中，TypeName是代数数据类型的名称，Constructor1、Constructor2等是构造子（Constructors），用来表示不同的情况。每个构造子可以带有参数，参数的类型可以是任意的。代数数据类型可以有多个构造子，每个构造子可以有不同数量和类型的参数。

例如，我们可以定义一个简单的代数数据类型来表示颜色：

data Color = Red
           | Green
           | Blue

在这个例子中，Color是代数数据类型的名称，Red、Green、Blue是构造子。这个代数数据类型表示了三种不同的颜色。

另一个例子是定义一个代数数据类型来表示二叉树：

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

在这个例子中，Tree是代数数据类型的名称，Leaf和Node是构造子。Leaf构造子表示一个叶子节点，带有一个值作为参数；Node构造子表示一个内部节点，带有两棵子树作为参数。