我对某些主题有疑问。简而言之,我必须在 Ocaml 静态和动态范围内编写一个解释器。 现在,我通过使用环境(IDE *值)列表和eval(evn * exp)实现了一个具有静态作用域的版本,当一条语句时传递evn。
那么问题是,“可以通过更改列表的读取方式来使用列表和这样的 eval 函数来开发作用域(动态 - 静态),还是必须采取其他方式?
这里是部分代码:
type ide = string
type bi_operator =
Plus
|Minus
|Mul
|Div
|Eq
|LThan
|LEq
|And
|Or
type exp =
Var of ide
|Const of value
|Fun of ide * exp
|Not of exp
|BOp of exp * bi_operator * exp
|Let of ide * exp * exp
|If of exp * exp * exp
|FunApp of exp * exp
and value =
| Int of int
| Bool of bool
| Closure of env * string * exp
and env = (ide * value) list
评估代码:
let rec eval (evn,e) = match e with
| Const _ -> expToV(e)
| Var x -> lookup (x,evn)
| BOp (a,b,c) -> ( match ((eval(evn,a)),(eval(evn,c))) with
| (Int a, Int c) ->
( match b with
| Plus -> Int (a + c)
| Minus -> Int (a - c)
| Mul -> Int (a * c)
| Div -> Int (a / c)
| Eq -> Bool (a = c)
| LThan -> Bool (a < c)
| LEq -> Bool (a <= c)
| _ -> raise (MLFailure "Not a valid Int operator")
)
| (Bool a, Bool c) ->
( match b with
| Eq -> Bool (a = c)
| And -> Bool (a && c)
| Or -> Bool (a || c)
| _ -> raise (MLFailure "Not a valid Bool operator")
)
| _ -> raise (MLFailure "Bin arguments do not match"))
| Fun (a,b) -> Closure (evn,a,b)
| Not (a) -> (match (eval(evn,a)) with
| (Bool a) -> if(a = false) then Bool(true) else Bool(false)
| _ -> raise (MLFailure "Bin arguments do not match"))
| Let (a,b,c) -> eval ( ((a,eval (evn,b))::evn) , c)
| If (a,b,c) -> if (eval (evn,a) = (Bool true)) then (eval (evn,b)) else (eval (evn,c))
| FunApp (a,b) -> (match eval (evn,a) with
| Closure (environment,funct,args) -> eval (((funct, eval (evn,b))::environment),args)
| _ -> raise (MLFailure "Bin arguments do not match"))
这是我发表声明的一个例子:
let _ = eval ([("x", Int 3);("t", Int 5);("z", Int 5);("x", Int 5);("y", Int 1)], (Let ("x", Const (Int 1),
Let ("f", Fun ("y", Var "x"),
Let ("x", Const (Int 2), FunApp (Var "f", Const(Int 0)))))));;
或者
let _ = eval ([], (Let ("x", Const (Int 1),
Let ("f", Fun ("y", Var "x"),
Let ("x", Const (Int 2), FunApp (Var "f", Const(Int 0)))))));;
这些示例的结果是 Int 1。 在我的书中,这个例子给出了:
词汇:智力 1
动态:Int 2
它看起来是正确的 执行。
最佳答案
您所需要做的就是更换
| Closure (environment,funct,args) -> eval ((funct, eval (evn,b))::environment,args)
与
| Closure (environment,funct,args) -> eval ((funct, eval (evn,b))::evn,args)
此时,您还可以从 Closure 中删除 env
组件,因为它从未被使用过。
FWIW,我在上面的代码中保留了变量命名,尽管这确实很奇怪,因为 funct
是参数名称,args
是函数体。
关于dynamic - OCaml 词法与动态作用域,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37448086/