projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tweaks
[lambda.git]
/
code
/
untyped_evaluator.ml
diff --git
a/code/untyped_evaluator.ml
b/code/untyped_evaluator.ml
index
e5ce1c1
..
3fe3ac6
100644
(file)
--- a/
code/untyped_evaluator.ml
+++ b/
code/untyped_evaluator.ml
@@
-15,10
+15,6
@@
`reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
`evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
`reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
`evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
- The environments play absolutely no role in the simplified V1 interpreter
- presented here. In the fuller code, they have a limited role in the V1
- interpreter. In the V2 interpreter, the environments are essential.
-
The two interpreters presented below are (V1) a substitute-and-replace
interpreter, and (V2) an environment-based interpreter. We discuss the
differences between these in the notes.
The two interpreters presented below are (V1) a substitute-and-replace
interpreter, and (V2) an environment-based interpreter. We discuss the
differences between these in the notes.
@@
-38,6
+34,10
@@
result values. But in the fuller code from which this is simplified, it
makes more sense, because there we also have literal number and boolean
values as results, too.
result values. But in the fuller code from which this is simplified, it
makes more sense, because there we also have literal number and boolean
values as results, too.
+
+ The environments play absolutely no role in the simplified V1 interpreter
+ presented here. In the fuller code, they have a limited role in the V1
+ interpreter. In the V2 interpreter, the environments are essential.
*)
type identifier = string
*)
type identifier = string