0

我之前问了一个类似的问题，并解决了最初的问题。我遇到了另一个错误隐藏的附加问题。我能够使诸如“if”语句之类的语句正常工作，但不能使“while”语句正常工作。当评估“stmt”时，必须更新环境。这适用于我的“if”语句，如下所示：

exec :: Env -> Stmt -> Env
exec env (If c t e) = 
    exec env ( if eval env c == BoolLit True then t else e )

评估看起来像这样：

eval :: Env -> Expr -> Expr
eval _ (IntLit i) = IntLit i
eval _ (BoolLit b) = BoolLit b
eval env (Var n) = lookupVar env n
eval env (BinOp op a b) = primEval op (eval env a) (eval env b)

正在解析的文件如下所示：

x = 1; c = 0;
if (x < 2) c = c + 1; else ;

我尝试让 while 语句工作是这样的：

exec env (While c t) = exec env ( if eval env c == BoolLit True then t)

但这会在“）”上产生解析错误。正在解析的文件中的 while 语句的预期格式：

x = 1; c = 1;
while (x < 10)
{
  c = c * x;
  x = x + 1;
}
c

我试图了解如何根据这种预期格式返回正确的环境。如果 Haskell 中的 while 语句已经有类似的结构，那就很简单了，但我知道没有这样的结构存在。

4

1 回答 1

4

您的函数中缺少一个else子句，它可能应该是：

exec env (While c t) = if eval env c == BoolLit True then exec env t else env

要真正让它工作，那就是多次执行主体：

exec env (While c t) = if   eval env c == BoolLit True 
                       then exec (exec env t) (While c t)
                       else env
于 2012-10-14T15:16:21.270 回答