Current state of mal for Clojure West lighting talk.

1 files changed, 76 insertions, 0 deletions

diff --git a/clojure/src/step3_env.clj b/clojure/src/step3_env.clj
new file mode 100644
index 0000000..c0c4e8e
--- /dev/null
+++ b/clojure/src/step3_env.clj
@@ -0,0 +1,76 @@
+(ns step3-env
+    (:require [clojure.repl]
+              [types]
+              [readline]
+              [reader]))
+
+(declare EVAL)
+
+;; read
+(defn READ [& [strng]]
+  (let [line (if strng strng (read-line))]
+    (reader/read-string strng)))
+
+;; eval
+(defn eval-ast [ast env]
+  (cond
+    (symbol? ast) (types/env-get env ast)
+   
+    (seq? ast)    (doall (map #(EVAL % env) ast))
+
+    (vector? ast) (vec (doall (map #(EVAL % env) ast)))
+   
+    (map? ast)    (apply hash-map (doall (map #(EVAL % env)
+                                              (mapcat identity ast))))
+
+    :else         ast))
+
+(defn EVAL [ast env]
+  ;;(prn "EVAL" ast (keys @env)) (flush)
+  (if (not (seq? ast))
+    (eval-ast ast env)
+
+    ;; apply list
+    (let [[a0 a1 a2 a3] ast]
+      (condp = a0
+        'def!
+        (types/env-set env a1 (EVAL a2 env))
+
+        'let*
+        (let [let-env (types/env env)]
+          (doseq [[b e] (partition 2 a1)]
+            (types/env-set let-env b (EVAL e let-env)))
+          (EVAL a2 let-env))
+
+        ;; apply
+        (let [el (eval-ast ast env)
+                 f (first el)
+                 args (rest el)]
+          (apply f args))))))
+
+;; print
+(defn PRINT [exp] (pr-str exp))
+
+;; repl
+(def repl-env (types/env))
+(defn rep
+  [strng]
+  (PRINT (EVAL (READ strng), repl-env)))
+
+(defn _ref [k,v] (types/env-set repl-env k v))
+(_ref '+ +)
+(_ref '- -)
+(_ref '* *)
+(_ref '/ /)
+
+
+(defn -main [& args]
+  (loop []
+    (let [line (readline/readline "user> ")]
+      (when line
+        (when-not (re-seq #"^\s*$|^\s*;.*$" line) ; blank/comment
+          (try
+            (println (rep line))
+            (catch Throwable e
+              (clojure.repl/pst e))))
+        (recur)))))