3 source $
(dirname $0)/reader.sh
4 source $
(dirname $0)/printer.sh
5 source $
(dirname $0)/env.sh
6 source $
(dirname $0)/core.sh
10 [ "${1}" ] && r
="${1}" || READLINE
16 if _sequential?
"${1}"; then
18 [[ "${r}" > 0 ]] && return 0
24 if ! IS_PAIR
"${1}"; then
29 _nth
"${1}" 0; local a0
="${r}"
30 if [[ "${ANON["${a0}"]}" == "unquote" ]]; then
33 elif IS_PAIR
"${a0}"; then
34 _nth
"${a0}" 0; local a00
="${r}"
35 if [[ "${ANON["${a00}"]}" == "splice-unquote" ]]; then
36 _symbol concat
; local a
="${r}"
37 _nth
"${a0}" 1; local b
="${r}"
39 QUASIQUOTE
"${r}"; local c
="${r}"
40 _list
"${a}" "${b}" "${c}"
45 _symbol cons
; local a
="${r}"
46 QUASIQUOTE
"${a0}"; local b
="${r}"
48 QUASIQUOTE
"${r}"; local c
="${r}"
49 _list
"${a}" "${b}" "${c}"
54 if ! _list?
"${1}"; then return 1; fi
55 _nth
"${1}" 0; local a0
="${r}"
56 if _symbol?
"${a0}"; then
57 ENV_FIND
"${2}" "${ANON["${a0}"]}_ismacro_"
66 local ast
="${1}" env
="${2}"
67 while IS_MACRO_CALL
"${ast}" "${env}"; do
68 _nth
"${ast}" 0; local a0
="${r}"
69 ENV_GET
"${env}" "${ANON["${a0}"]}"; local mac="${ANON["${r}"]}"
71 ${mac%%@*} ${ANON["${r}"]}
79 local ast
="${1}" env
="${2}"
80 #_pr_str "${ast}"; echo "EVAL_AST '${ast}:${r} / ${env}'"
81 _obj_type
"${ast}"; local ot
="${r}"
84 local val
="${ANON["${ast}"]}"
85 ENV_GET
"${env}" "${val}"
88 _map_with_type _list EVAL
"${ast}" "${env}" ;;
90 _map_with_type _vector EVAL
"${ast}" "${env}" ;;
92 local res
="" val
="" hm
="${ANON["${ast}"]}"
93 _hash_map
; local new_hm
="${r}"
94 eval local keys
="\${!${hm}[@]}"
95 for key
in ${keys}; do
96 eval val
="\${${hm}[\"${key}\"]}"
97 EVAL
"${val}" "${env}"
98 _assoc
! "${new_hm}" "${key}" "${r}"
107 local ast
="${1}" env
="${2}"
110 [[ "${__ERROR}" ]] && return 1
111 #_pr_str "${ast}"; echo "EVAL '${r} / ${env}'"
112 if ! _list?
"${ast}"; then
113 EVAL_AST
"${ast}" "${env}"
118 MACROEXPAND
"${ast}" "${env}"
120 if ! _list?
"${ast}"; then return; fi
121 _nth
"${ast}" 0; local a0
="${r}"
122 _nth
"${ast}" 1; local a1
="${r}"
123 _nth
"${ast}" 2; local a2
="${r}"
124 case "${ANON["${a0}"]}" in
125 def
!) local k
="${ANON["${a1}"]}"
126 #echo "def! ${k} to ${a2} in ${env}"
127 EVAL
"${a2}" "${env}"
128 ENV_SET
"${env}" "${k}" "${r}"
130 let*) ENV
"${env}"; local let_env
="${r}"
131 local let_pairs
=(${ANON["${a1}"]})
133 #echo "let: [${let_pairs[*]}] for ${a2}"
134 while [[ "${let_pairs["${idx}"]}" ]]; do
135 EVAL
"${let_pairs[$(( idx + 1))]}" "${let_env}"
136 ENV_SET
"${let_env}" "${ANON["${let_pairs[${idx}]}"]}" "${r}"
152 local k="${ANON["${a1}"]}"
153 EVAL "${a2}" "${env}"
154 ENV_SET "${env}" "${k}" "${r}"
155 ENV_SET "${env}" "${k}_ismacro_
" "yes"
158 MACROEXPAND "${a1}" "${env}"
160 try*) MACROEXPAND "${a1}" "${env}"
162 [[ -z "${__ERROR}" ]] && return
163 _nth "${a2}" 0; local a20="${r}"
164 if [ "${ANON["${a20}"]}" == "catch__STAR__
" ]; then
165 _nth "${a2}" 1; local a21="${r}"
166 _nth "${a2}" 2; local a22="${r}"
167 _list "${a21}"; local binds="${r}"
168 ENV "${env}" "${binds}" "${__ERROR}"
171 MACROEXPAND "${a22}" "${try_env}"
172 EVAL "${r}" "${try_env}"
173 fi # if no catch* clause, just propagate __ERROR
176 _slice "${ast}" 1 $(( ${r} - 2 ))
177 EVAL_AST "${r}" "${env}"
178 [[ "${__ERROR}" ]] && r= && return 1
183 if) EVAL "${a1}" "${env}"
184 if [[ "${r}" == "${__false}" || "${r}" == "${__nil}" ]]; then
186 _nth "${ast}" 3; local a3="${r}"
187 if [[ "${a3}" ]]; then
194 # eval true condition
199 fn*) _function "ENV
\"${env}\" \"${a1}\" \"\${@}\"; \
200 EVAL
\"${a2}\" \"\
${r}\"" \
201 "${a2}" "${env}" "${a1}"
203 *) EVAL_AST "${ast}" "${env}"
204 [[ "${__ERROR}" ]] && r= && return 1
206 _first "${el}"; local f="${ANON["${r}"]}"
207 _rest "${el}"; local args="${ANON["${r}"]}"
208 #echo "invoke
: [${f}] ${args}"
209 if [[ "${f//@/ }" != "${f}" ]]; then
212 ENV "${3}" "${4}" ${args}
215 eval ${f%%@*} ${args}
226 if [[ "${__ERROR}" ]]; then
227 _pr_str
"${__ERROR}" yes
240 EVAL
"${r}" "${REPL_ENV}"
244 # core.sh: defined using bash
245 _fref
() { _function
"${2} \"\${@}\""; ENV_SET "${REPL_ENV}" "${1}" "${r}"; }
246 for n in "${!core_ns[@]}"; do _fref "${n}" "${core_ns["${n}"]}"; done
247 _eval () { EVAL "${1}" "${REPL_ENV}"; }
250 for _arg
in "${@:2}"; do _string "${_arg}"; _conj! "${argv}" "${r}"; done
251 ENV_SET
"${REPL_ENV}" "__STAR__ARGV__STAR__" "${argv}";
253 # core.mal: defined using the language itself
254 REP
"(def! *host-language* \"bash\")"
255 REP
"(def! not (fn* (a) (if a false true)))"
256 REP
"(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \")\")))))"
257 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)))))))"
258 REP
"(defmacro! or (fn* (& xs) (if (empty? xs) nil (if (= 1 (count xs)) (first xs) \`(let* (or_FIXME ~(first xs)) (if or_FIXME or_FIXME (or ~@(rest xs))))))))"
260 # load/run file from command line (then exit)
261 if [[ "${1}" ]]; then
262 REP
"(load-file \"${1}\")"
267 REP
"(println (str \"Mal [\" *host-language* \"]\"))"
269 READLINE
"user> " ||
exit "$?"
270 [[ "${r}" ]] && REP "${r}" && echo "${r}"