3

在谈到词法作用域和动态作用域之间的区别后，我的教授给了我们一个问题。他向我们展示了一个用 Haskell 编码的简单求值器（一种虚构的语言）。以下是代码：

type Var = ... 
type Env = ...
data Val = Vnum Int 
           | Vfun Var Exp 

data Exp = Enum Int
         | Evar Var
         | Efun Var Exp
         | Ecall Exp Exp
         | Elet Var Exp Exp

-- Predefined. Find the correspondent value of a variable
env_lookup :: Env -> Var -> Val
...

-- Predefined. Add the variable and its associated value to the environment
env_add :: Env -> Var -> Val -> Env
...

eval env (Enum n) = Vnum n
eval env (Evar x) = env_lookup x env
eval env (Ecall fun actual)
  = case (eval env fun) of
     Vnum n -> error "Not a Function!"
     Vfun formal body ->
           eval (env_add env formal (eval env actual)) body
-- To be completed --

问题问：

这种实现的语言是使用词法作用域还是动态作用域？以及我们应该如何更改代码以使其具有另一种类型的范围

坦率地说，这是一个非常难的问题。从代码中很容易看出，这种语言是实现“按名称调用”还是“按值调用”（在本例中为“按值调用”）。但是分析它是动态作用域还是词法作用域是另一回事

4

1 回答 1

4

您的代码不完整：

eval env (Ecall fun actual)
  = case fun of
     Vnum n -> error "Not a Function!"
     Vfun formal body ->
           eval (env_add env formal (eval     actual)) body
                                         ^^^^^

缺少一个论据。但是你只有一个选择来修复它，添加到env那里。

那么意思就变成了，在env使用参数和参数配对扩展的环境中评估 body。

目前的环境，env。不是从创建函数时开始的。

这意味着动态范围。

为了解决这个问题，我们可以使用FUNARG设备：在创建函数（因此是闭包）时将定义环境与主体和形式参数一起存储。然后在定义环境中评估主体，就像现在一样，在当前环境中评估成对的形式参数和实际参数env。

另请参阅：我的这个相关答案。

你甚至可以同时拥有动态和词法作用域，例如从表单创建一个普通的 lambda，它将在动态作用域下进行评估，并从比如说表单（用 Lisp 说）(lambda ...)制作 lambda 及其定义环境的闭包，例如(function (lambda ...))词法作用域。因此，必须处理这两种情况 eval，就像上面提到的我的其他答案一样。

于 2021-05-21T23:26:35.867 回答