blob: c125b04072c5a8bddc1223d834dc05dc641306f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
(ns step4-if-fn-do
(:require [clojure.repl]
[readline]
[reader]
[printer]
[env]
[core]))
;; read
(defn READ [& [strng]]
(let [line (if strng strng (read-line))]
(reader/read-string strng)))
;; eval
(declare EVAL)
(defn eval-ast [ast env]
(cond
(symbol? ast) (env/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!
(env/env-set env a1 (EVAL a2 env))
'let*
(let [let-env (env/env env)]
(doseq [[b e] (partition 2 a1)]
(env/env-set let-env b (EVAL e let-env)))
(EVAL a2 let-env))
'do
(last (eval-ast (rest ast) env))
'if
(let [cond (EVAL a1 env)]
(if (or (= cond nil) (= cond false))
(if (> (count ast) 2)
(EVAL a3 env)
nil)
(EVAL a2 env)))
'fn*
(fn [& args]
(EVAL a2 (env/env env a1 args)))
;; 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 (env/env))
(defn rep
[strng]
(PRINT (EVAL (READ strng) repl-env)))
;; core.clj: defined using Clojure
(doseq [[k v] core/core_ns] (env/env-set repl-env k v))
;; core.mal: defined using the language itself
(rep "(def! not (fn* [a] (if a false true)))")
;; repl loop
(defn repl-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))))
(defn -main [& args]
(repl-loop))
|
