确定乱码中ADT的特殊构造方法

Question

问题如下：

data Scalar=type1()|type2()|...

data Expr=scalar(Scalar aType)| secondForm(..) | thirdForm(..) |..

case Expr ee:binaryOperation(Expr e1,Expr e2, Op opern):
    //do something useful

例如，如何指定条件来确定e1和e2的类型并采取措施，

    if(e1 != scalar(_)) //do something useful
    if(e2 != scalar(_)) //do something useful

Answer 1

您（至少）有三个选择。

首先，您可以在以下情况下添加：

case Expr ee:binaryOperation(Expr e1:scalar(_), Expr e2, Op opern) :

在这种情况下，当e1不是scalar时，您将需要第二种更一般的情况：

case Expr ee:binaryOperation(Expr e1, Expr e2, Op opern) :

这应该低于第一种情况。 我不是订购依赖项的忠实拥护者，因此这不是我要使用的解决方案。

其次，您可以在条件匹配的情况下进行匹配。 这是scalar时匹配：

if(scalar(_) := e1)

这在不匹配时匹配：

if(scalar(_) !:= e1)

如果需要内容（ scalar的值），则需要在其中放置一个变量以将其绑定到匹配项中。

第三，可以使用is运算符：

if(e1 is scalar)

要么

if (!(e1 is scalar))

将让您检查e1是否使用scalar构造。 is运算符确实说“ e1的顶级构造函数是scalar ”，而如果您仅需了解，那比编写匹配项要简单。