1

我正在构建一个名为 Haskell 解释器的调用,并且我想实现一个函数short :: Val -> Exp -> Error Val来评估应用于表达式的值。我不想评估短路布尔二元运算符的第二个参数(即((&&) False)and ((||) True)),也不想评估传递给单元 lambda ( \() -> ...) 抽象的参数。

在像 Haskell 这样的惰性语言中,我知道您会在 Prelude 中内置短路布尔二元运算符。我在想它可以做这样的事情:

short :: Val -> Exp -> Error Val
short (Partial (&&) False) = False
-- Making use of Partial Oper Val that is defined in Val

但我已经知道会出现类型错误。我不确定该怎么做。有什么建议么?

一些额外的定义:

data Val = VUnit | VNil
         | VN Int | VB Bool | VOp Oper
         | Partial Oper Val
         | VLamUnit Exp (Env Val)
         | VLam String Exp (Env Val)
         | VListBool [Bool]
         | VListInt [Int]

data Exp = Unit | Nil
         | N Int | B Bool | Var String | Op Oper
         | App Exp Exp
         | LamUnit Exp
         | Lam String Exp
         | If Exp Exp Exp
         | Let [(String, Exp)] Exp

data Error a = S a
             | Error String
4

1 回答 1

4

函数参数的评估首先由用于绑定参数的模式确定。

如果你有

short :: Val -> Exp -> Error Val
short val ex
   | condition on val only       = something
   | other condition on val only = somethingElse
   | condition involving ex too  = thirdPossibility
   | otherwise                   = whatever

绑定参数时不会进行评估,因为模式是无可辩驳的可变模式,val部分或可能完全评估以确定第一个守卫的结果。如果计算结果为Trueexp则仅当它被用于something并且它的评估是评估时才被评估something。只有当前两个条件评估为False,时,ex才会评估第三个守卫的值(甚至可能不是)。

如果您可以基于 的构造函数进行快捷方式val,则可以使用可反驳的模式 forval并且 let是可变模式(只是一个标识符),您将获得与 for等ex相同的短路。(&&)

short (Val foo) ex = Okay (foo bar ex)
short (Lav oof) _  = Okay oof
short val ex
  | isGood val = oomph
  | isBad ex   = error "Didn't expect that"
  | otherwise  = undefined

如果你不使用Exp右边的参数,你甚至不需要给它一个名字,通配符_说“这是一个应该被忽略的参数”。

对于您想要的行为

short :: Val -> Exp -> Error Val
short (Partial (&&) False) = False

那样不起作用,因为Falseis aBool而不是 a Val,您可以使用

short (Partial OR (VB False)) _ = S False

具有 的假设构造函数OROper(你可以(&&)在那里使用,但这是一个匹配任何东西的变量模式。)该模式甚至不绑定Exp参数,所以除非它的评估是由先前的方程强制的short,否则它仍然是未评估的。

于 2012-12-03T06:19:19.753 回答