miniMAL: step3

2 files changed, 106 insertions, 0 deletions

diff --git a/miniMAL/env.json b/miniMAL/env.json
new file mode 100644
index 0000000..30ab952
--- /dev/null
+++ b/miniMAL/env.json
@@ -0,0 +1,42 @@
+["do",
+
+["def", "env-bind", ["fn", ["env", "b", "e"],
+  ["if", ["empty?", "b"],
+    "env",
+    ["if", ["=", ["`", "&"],
+                 ["get", ["first", "b"], ["`", "val"]]],
+      ["assoc!", "env", ["get", ["nth", "b", 1], ["`", "val"]], "e"],
+      ["env-bind", ["assoc!", "env", ["get", ["first", "b"], ["`", "val"]],
+                                     ["get", ["first", "e"], ["`", "val"]]],
+                   ["rest", "b"],
+                   ["rest", "e"]]]]]],
+
+["def", "env-new", ["fn", ["&", "args"],
+  ["let", ["env", ["hash-map", ["`", "__outer__"], ["first", "args"]]],
+    ["if", ["<=", ["count", "args"], 1],
+      "env",
+      ["bind-env", "env", ["get", "args", 1], ["get", "args", 2]]]]]],
+
+["def", "env-find", ["fn", ["env", "key"],
+  ["let", ["k", ["get", "key", ["`", "val"]]],
+    ["if", ["contains?", "env", "k"],
+      "env",
+      ["if", ["get", "env", ["`", "__outer__"]],
+        ["env-find", ["get", "env", ["`", "__outer__"]], "key"],
+        null]]]]],
+
+["def", "env-get", ["fn", ["env", "key"],
+  ["let", ["k", ["get", "key", ["`", "val"]],
+           "e", ["env-find", "env", "key"]],
+    ["if", "e",
+      ["get", "e", "k"],
+      ["throw", ["str", ["`", "'"], "k", ["`", "' not found"]]]]]]],
+
+["def", "env-set", ["fn", ["env", "key", "val"],
+  ["let", ["k", ["get", "key", ["`", "val"]]],
+    ["do",
+      ["assoc!", "env", "k", "val"],
+      "val"]]]],
+
+null
+]
diff --git a/miniMAL/step3_env.json b/miniMAL/step3_env.json
new file mode 100644
index 0000000..9b45277
--- /dev/null
+++ b/miniMAL/step3_env.json
@@ -0,0 +1,64 @@
+["do",
+
+["load-file", ["`", "miniMAL-core.json"]],
+["load-file", ["`", "types.json"]],
+["load-file", ["`", "reader.json"]],
+["load-file", ["`", "printer.json"]],
+["load-file", ["`", "env.json"]],
+
+["def", "READ", ["fn", ["strng"],
+  ["read-str", "strng"]]],
+
+["def", "eval-ast", ["fn", ["ast", "env"],
+  ["if", ["symbol?", "ast"],
+    ["env-get", "env", "ast"],
+  ["if", ["list?", "ast"],
+    ["map", ["fn", ["x"], ["EVAL", "x", "env"]], "ast"],
+  "ast"]]]],
+
+["def", "LET", ["fn", ["env", "args"],
+  ["if", [">", ["count", "args"], 0],
+    ["do",
+      ["env-set", "env", ["nth", "args", 0],
+                         ["EVAL", ["nth", "args", 1], "env"]],
+      ["LET", "env", ["rest", ["rest", "args"]]]]]]],
+
+["def", "EVAL", ["fn", ["ast", "env"],
+  ["if", ["not", ["list?", "ast"]],
+    ["eval-ast", "ast", "env"],
+    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+      ["if", ["=", ["`", "def!"], "a0"],
+        ["env-set", "env", ["nth", "ast", 1],
+                           ["EVAL", ["nth", "ast", 2], "env"]],
+      ["if", ["=", ["`", "let*"], "a0"],
+        ["let", ["let-env", ["env-new", "env"]],
+          ["do",
+            ["LET", "let-env", ["nth", "ast", 1]],
+            ["EVAL", ["nth", "ast", 2], "let-env"]]],
+        ["let", ["el", ["eval-ast", "ast", "env"],
+                 "f", ["first", "el"],
+                 "args", ["rest", "el"]],
+          ["apply", "f", "args"]]]]]]]],
+
+["def", "PRINT", ["fn", ["exp"],
+  ["pr-str", "exp", true]]],
+
+
+["def", "repl-env", ["env-new"]],
+["env-set", "repl-env", ["symbol", ["`", "+"]], "+"],
+["env-set", "repl-env", ["symbol", ["`", "-"]], "-"],
+["env-set", "repl-env", ["symbol", ["`", "*"]], "*"],
+["def", "div", ["fn", ["a", "b"], ["parseInt", ["/", "a", "b"]]]],
+["env-set", "repl-env", ["symbol", ["`", "/"]], "div"],
+
+["def", "rep", ["fn", ["strng"],
+  ["try",
+    ["PRINT", ["EVAL", ["READ", "strng"], "repl-env"]],
+    ["catch", "exc",
+      ["str", ["`", "Error: "], [".", "exc", ["`", "toString"]]]]]]],
+
+["repl", ["`", "user> "], "rep"],
+
+null
+
+]