From: Jim Date: Sun, 22 Mar 2015 12:14:02 +0000 (-0400) Subject: add comments to untyped_evals again X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5f4eb9b5b83f86fbd18ecd6dd431b5ad64e7a6a7 add comments to untyped_evals again --- diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index e5ce1c12..3fe3ac62 100644 --- 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")))` - 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. @@ -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. + + 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 diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml index 308f85a0..ed34138d 100644 --- a/code/untyped_evaluator_complete.ml +++ b/code/untyped_evaluator_complete.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")))` - 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. @@ -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. + + 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