haskell中的相互递归类型

Question

我是Haskell的新学习者,相互递归类型的概念让我很困惑.

这是一个例子:

data BoolExpr
     = BoolConst Bool
     | BoolOp BoolOp BoolExpr BoolExpr
     | ConpOp CompOp IntExpr IntExpr

为什么这里有两个BoolOp和CompOp？

我知道第一个BoolOp是数据构造函数,但第二个BoolOp呢？

Answer 1

你是对的,第一个BoolOp是构造函数 ; 第二个说构造函数取值的类型:: BoolOp.完整类型是:

BoolOp :: BoolOp -> BoolExpr -> BoolExpr -> BoolExpr

所以我希望有一些像这样的代码:

data BoolOp = BoolAnd  |  BoolOr  |  BoolXor

所以要使用这个构造函数,你需要给它一个BoolOp和两个BoolExprs:

myBoolExpr :: BoolExpr
myBoolExpr = BoolOp  BoolOr  (BoolConst True)  (BoolConst False)