3 import mal_types
as types
10 return reader
.read_str(str)
14 return types
._sequential
_Q
(x
) and len(x
) > 0
18 return types
._list
(types
._symbol
("quote"),
20 elif ast
[0] == 'unquote':
22 elif is_pair(ast
[0]) and ast
[0][0] == 'splice-unquote':
23 return types
._list
(types
._symbol
("concat"),
27 return types
._list
(types
._symbol
("cons"),
31 def is_macro_call(ast
, env
):
32 return (types
._list
_Q
(ast
) and
33 types
._symbol
_Q
(ast
[0]) and
35 hasattr(env
.get(ast
[0]), '_ismacro_'))
37 def macroexpand(ast
, env
):
38 while is_macro_call(ast
, env
):
43 def eval_ast(ast
, env
):
44 if types
._symbol
_Q
(ast
):
46 elif types
._list
_Q
(ast
):
47 return types
._list
(*map(lambda a
: EVAL(a
, env
), ast
))
48 elif types
._vector
_Q
(ast
):
49 return types
._vector
(*map(lambda a
: EVAL(a
, env
), ast
))
50 elif types
._hash
_map
_Q
(ast
):
53 keyvals
.append(EVAL(k
, env
))
54 keyvals
.append(EVAL(ast
[k
], env
))
55 return types
._hash
_map
(*keyvals
)
57 return ast
# primitive value, return unchanged
61 #print("EVAL %s" % printer._pr_str(ast))
62 if not types
._list
_Q
(ast
):
63 return eval_ast(ast
, env
)
66 ast
= macroexpand(ast
, env
)
67 if not types
._list
_Q
(ast
):
68 return eval_ast(ast
, env
)
69 if len(ast
) == 0: return ast
73 a1
, a2
= ast
[1], ast
[2]
75 return env
.set(a1
, res
)
77 a1
, a2
= ast
[1], ast
[2]
79 for i
in range(0, len(a1
), 2):
80 let_env
.set(a1
[i
], EVAL(a1
[i
+1], let_env
))
86 elif "quasiquote" == a0
:
87 ast
= quasiquote(ast
[1]);
89 elif 'defmacro!' == a0
:
90 func
= types
._clone
(EVAL(ast
[2], env
))
92 return env
.set(ast
[1], func
)
93 elif 'macroexpand' == a0
:
94 return macroexpand(ast
[1], env
)
96 eval_ast(ast
[1:-1], env
)
100 a1
, a2
= ast
[1], ast
[2]
102 if cond
is None or cond
is False:
103 if len(ast
) > 3: ast
= ast
[3]
107 # Continue loop (TCO)
109 a1
, a2
= ast
[1], ast
[2]
110 return types
._function
(EVAL
, Env
, a2
, env
, a1
)
112 el
= eval_ast(ast
, env
)
114 if hasattr(f
, '__ast__'):
116 env
= f
.__gen
_env
__(el
[1:])
122 return printer
._pr
_str
(exp
)
127 return PRINT(EVAL(READ(str), repl_env
))
129 # core.py: defined using python
130 for k
, v
in core
.ns
.items(): repl_env
.set(types
._symbol
(k
), v
)
131 repl_env
.set(types
._symbol
('eval'), lambda ast
: EVAL(ast
, repl_env
))
132 repl_env
.set(types
._symbol
('*ARGV*'), types
._list
(*sys
.argv
[2:]))
134 # core.mal: defined using the language itself
135 REP("(def! not (fn* (a) (if a false true)))")
136 REP("(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \"\nnil)\")))))")
137 REP("(defmacro! cond (fn* (& xs) (if (> (count xs) 0) (list 'if (first xs) (if (> (count xs) 1) (nth xs 1) (throw \"odd number of forms to cond\")) (cons 'cond (rest (rest xs)))))))")
139 if len(sys
.argv
) >= 2:
140 REP('(load-file "' + sys
.argv
[1] + '")')
146 line
= mal_readline
.readline("user> ")
147 if line
== None: break
148 if line
== "": continue
150 except reader
.Blank
: continue
151 except Exception as e
:
152 print("".join(traceback
.format_exception(*sys
.exc_info())))