[jackhill/mal.git] / impls / jq / stepA_mal.jq

include "reader";
include "printer";
include "utils";
include "interp";
include "env";
include "core";

def read_line:
    . as $in
    | label $top
    | _readline;

def READ:
    read_str | read_form | .value;

def recurseflip(x; y):
    recurse(y; x);

def TCOWrap(env; retenv; continue):
    {
        ast: .,
        env: env,
        ret_env: (if retenv != null then (retenv | setpath(["atoms"]; env.atoms)) else retenv end),
        finish: (continue | not),
        cont: true # set inside
    };

def _symbol(name):
    {
        kind: "symbol",
        value: name
    };

def _symbol_v(name):
    if .kind == "symbol" then
        .value == name
    else
        false
    end;

def quasiquote:
    if isPair then
        .value as $value | null |
        if ($value[0] | _symbol_v("unquote")) then
            $value[1]
        else
            if isPair($value[0]) and ($value[0].value[0] | _symbol_v("splice-unquote")) then
                    [_symbol("concat")] +
                    [$value[0].value[1]] + 
                    [($value[1:] | wrap("list") | quasiquote)] | wrap("list")
            else
                    [_symbol("cons")] + 
                    [($value[0] | quasiquote)] +
                    [($value[1:] | wrap("list") | quasiquote)] | wrap("list")
            end
        end
    else
            [_symbol("quote")] + 
            [.] | wrap("list")
    end;

def set_macro_function:
    if .kind != "function" then
        jqmal_error("expected a function to be defined by defmacro!")
    else
        .is_macro |= true
    end;

def is_macro_call(env):
    if .kind != "list" then
        false
    else
        if (.value|first.kind == "symbol") then
            env_req(env; .value|first.value)
            | if .kind != "function" then
                false
            else 
                .is_macro
            end
        else
            false
        end
    end;

def EVAL(env):
    def _eval_here:
        .env as $env | .expr | EVAL($env);

    def _interpret($_menv):
        reduce .value[] as $elem (
            {env: $_menv, val: []};
            . as $dot | $elem | EVAL($dot.env) as $eval_env |
                ($dot.env | setpath(["atoms"]; $eval_env.env.atoms)) as $_menv |
                {env: $_menv, val: ($dot.val + [$eval_env.expr])}
        ) | . as $expr | $expr.val | first |
                interpret($expr.val[1:]; $expr.env; _eval_here);

    def macroexpand(env):
        . as $dot |
        $dot |
        [ while(is_macro_call(env | unwrapCurrentEnv);
            . as $dot
            | ($dot.value[0] | EVAL(env).expr) as $fn
            | $dot.value[1:] as $args
            | $fn 
            | interpret($args; env; _eval_here).expr) // . ]
        | last
        | if is_macro_call(env | unwrapCurrentEnv) then
            . as $dot
            | ($dot.value[0] | EVAL(env).expr) as $fn
            | $dot.value[1:] as $args
            | $fn 
            | interpret($args; env; _eval_here).expr
          else
            .
          end
        ;

    def hmap_with_env:
        .env as $env | .list as $list |
            if $list|length == 0 then
                empty
            else
                $list[0] as $elem |
                $list[1:] as $rest |
                    $elem.value.value | EVAL($env) as $resv |
                        {
                            value: {
                                key: $elem.key,
                                value: { kkind: $elem.value.kkind, value: $resv.expr }
                            },
                            env: env
                        },
                        ({env: $resv.env, list: $rest} | hmap_with_env)
            end;
    def map_with_env:
        .env as $env | .list as $list |
            if $list|length == 0 then
                empty
            else
                $list[0] as $elem |
                $list[1:] as $rest |
                    $elem | EVAL($env) as $resv |
                        { value: $resv.expr, env: env },
                        ({env: $resv.env, list: $rest} | map_with_env)
            end;
    def eval_ast(env):
        (select(.kind == "vector") |
            if .value|length == 0 then
                {
                    kind: "vector",
                    value: []
                }
            else
                [ { env: env, list: .value } | map_with_env ] as $res |
                {
                    kind: "vector",
                    value: $res | map(.value)
                }
            end
        ) //
        (select(.kind == "hashmap") |
            [ { env: env, list: (.value | to_entries) } | hmap_with_env ] as $res |
            {
                kind: "hashmap",
                value: $res | map(.value) | from_entries
            }
        ) //
        (select(.kind == "function") |
            .# return this unchanged, since it can only be applied to
        ) //
        (select(.kind == "symbol") |
            .value | env_get(env | unwrapCurrentEnv)
        ) // .;

    . as $ast
    | { env: env, ast: ., cont: true, finish: false, ret_env: null }
    | [ recurseflip(.cont;
        .env as $_menv
        | (if $DEBUG then _debug("EVAL: \($ast | pr_str($_menv))") else . end)
        | (if $DEBUG then _debug("ATOMS: \($_menv.atoms)") else . end)
        | if .finish then
            .cont |= false
        else
            (.ret_env//.env) as  $_retenv
            | .ret_env as $_orig_retenv
            | .ast
            | . as $init
            | $_menv | unwrapCurrentEnv as $currentEnv # unwrap env "package"
            | $_menv | unwrapReplEnv    as $replEnv    # -
            | $init
            |
            (select(.kind == "list") |
                macroexpand($_menv) |
                if .kind != "list" then
                    eval_ast($_menv) | TCOWrap($_menv; $_orig_retenv; false)
                else 
                    if .value | length == 0 then 
                        . | TCOWrap($_menv; $_orig_retenv; false)
                    else
                        (
                            (
                                .value | select(.[0].value == "atoms??") as $value |
                                    $_menv.atoms | keys | map(wrap("string")) | wrap("list") | TCOWrap($_menv; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "def!") as $value |
                                    ($value[2] | EVAL($_menv)) as $evval |
                                        addToEnv($evval; $value[1].value) as $val |
                                        $val.expr | TCOWrap($val.env; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "defmacro!") as $value |
                                    ($value[2] | EVAL($_menv) | (.expr |= set_macro_function)) as $evval |
                                        addToEnv($evval; $value[1].value) as $val |
                                        $val.expr | TCOWrap($val.env; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "let*") as $value |
                                        ($currentEnv | pureChildEnv | wrapEnv($replEnv; $_menv.atoms)) as $_menv |
                                        (reduce ($value[1].value | nwise(2)) as $xvalue (
                                            $_menv;
                                            . as $env | $xvalue[1] | EVAL($env) as $expenv |
                                                env_set_($expenv.env; $xvalue[0].value; $expenv.expr))) as $env
                                                    | $value[2] | TCOWrap($env; $_retenv; true)
                            ) //
                            (
                                .value | select(.[0].value == "do") as $value |
                                    (reduce ($value[1:][]) as $xvalue (
                                        { env: $_menv, expr: {kind:"nil"} };
                                        .env as $env | $xvalue | EVAL($env)
                                    )) | . as $ex | .expr | TCOWrap($ex.env; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "try*") as $value |
                                    try (
                                        $value[1] | EVAL($_menv) as $exp | $exp.expr | TCOWrap($exp.env; $_orig_retenv; false)
                                    ) catch ( . as $exc |
                                        if $value[2] then
                                            if ($value[2].value[0] | _symbol_v("catch*")) then
                                                (if ($exc | is_jqmal_error) then
                                                    $exc[19:] as $ex |
                                                        try (
                                                            $ex 
                                                            | fromjson
                                                        ) catch (
                                                            $ex |
                                                            wrap("string")
                                                        )
                                                else 
                                                    $exc|wrap("string")
                                                end) as $exc |
                                                $value[2].value[2] | EVAL($currentEnv | childEnv([$value[2].value[1].value]; [$exc]) | wrapEnv($replEnv; $_menv.atoms)) as $ex |
                                                $ex.expr | TCOWrap($ex.env; $_retenv; false)
                                            else
                                                error($exc)
                                            end
                                        else
                                            error($exc)
                                        end
                                    )
                            ) //
                            (
                                .value | select(.[0].value == "if") as $value |
                                    $value[1] | EVAL($_menv) as $condenv |
                                        (if (["false", "nil"] | contains([$condenv.expr.kind])) then
                                            ($value[3] // {kind:"nil"})
                                        else
                                            $value[2]
                                        end) | TCOWrap($condenv.env; $_orig_retenv; true)
                            ) //
                            (
                                .value | select(.[0].value == "fn*") as $value |
                                    # (fn* args body)
                                    $value[1].value | map(.value) as $binds | 
                                    ($value[2] | find_free_references($currentEnv | env_dump_keys + $binds)) as $free_referencess | {
                                        kind: "function",
                                        binds: $binds,
                                        env: ($_menv | env_remove_references($free_referencess)),
                                        body: $value[2],
                                        names: [], # we can't do that circular reference thing
                                        free_referencess: $free_referencess,  # for dynamically scoped variables
                                        is_macro: false
                                } | TCOWrap($_menv; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "quote") as $value |
                                    $value[1] | TCOWrap($_menv; $_orig_retenv; false)
                            ) //
                            (
                                .value | select(.[0].value == "quasiquote") as $value |
                                    $value[1] | quasiquote | TCOWrap($_menv; $_orig_retenv; true)
                            ) //
                            (
                                .value | select(.[0].value == "macroexpand") as $value |
                                    $value[1] | macroexpand($_menv) | TCOWrap($_menv; $_orig_retenv; false)
                            ) //
                            (
                                . as $dot | _interpret($_menv) as $exprenv |
                                        $exprenv.expr | TCOWrap($exprenv.env; $_orig_retenv; false)
                            ) //
                                TCOWrap($_menv; $_orig_retenv; false)
                        )
                    end
                end
            ) //
                (eval_ast($_menv) | TCOWrap($_menv; $_orig_retenv; false))
        end
        | (if $DEBUG then _debug("POSTEVAL: \($ast | pr_str($_menv)) = \(.ast | pr_str($_menv))") else . end)
    ) ] 
    | last as $result
    | ($result.ret_env // $result.env) as $env
    | $result.ast
    | addEnv($env);

def PRINT(env):
    pr_str(env);

def rep(env):
    READ | EVAL(env) as $expenv |
        if $expenv.expr != null then
            $expenv.expr | PRINT($expenv.env)
        else
            null
        end | addEnv($expenv.env);

def repl_(env):
    ("user> " | _print) |
    (read_line | rep(env));

# we don't have no indirect functions, so we'll have to interpret the old way
def replEnv:
    {
        parent: null,
        environment: ({
            "+": {
                kind: "fn", # native function
                inputs: 2,
                function: "number_add"
            },
            "-": {
                kind: "fn", # native function
                inputs: 2,
                function: "number_sub"
            },
            "*": {
                kind: "fn", # native function
                inputs: 2,
                function: "number_mul"
            },
            "/": {
                kind: "fn", # native function
                inputs: 2,
                function: "number_div"
            },
            "eval": {
                kind: "fn",
                inputs: 1,
                function: "eval"
            }
        } + core_identify),
        fallback: null
    };

def repl(env):
    def xrepl:
        (.env as $env | try repl_($env) catch addEnv($env)) as $expenv |
            {
                value: $expenv.expr,
                stop: false,
                env: ($expenv.env // .env)
            } | ., xrepl;
    {stop: false, env: env} | xrepl | if .value then (.value | _display) else empty end;

def eval_ign(expr):
    . as $env | expr | rep($env) | .env;

def eval_val(expr):
    . as $env | expr | rep($env) | .expr;

def getEnv:
    replEnv
    | wrapEnv({})
    | eval_ign("(def! *host-language* \"jq\")")
    | eval_ign("(def! not (fn* (a) (if a false true)))")
    | eval_ign("(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \"\\nnil)\")))))))")
    | eval_ign("(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)))))))")
    ;

def main:
    if $ARGS.positional|length > 0 then
        try (
            getEnv as $env |
            env_set_($env; "*ARGV*"; $ARGS.positional[1:] | map(wrap("string")) | wrap("list")) |
            eval_val("(load-file \($ARGS.positional[0] | tojson))") |
            ""
        ) catch (
            _print
        )
    else
        repl( getEnv as $env | env_set_($env; "*ARGV*"; [] | wrap("list")) )
    end;

[ main ] | _halt
Commit	Line	Data
b103f95e A	1	include "reader";
	2	include "printer";
	3	include "utils";
	4	include "interp";
	5	include "env";
	6	include "core";
	7
	8	def read_line:
	9	. as $in
	10	\| label $top
	11	\| _readline;
	12
	13	def READ:
	14	read_str \| read_form \| .value;
	15
	16	def recurseflip(x; y):
	17	recurse(y; x);
	18
	19	def TCOWrap(env; retenv; continue):
	20	{
	21	ast: .,
	22	env: env,
fed3ca50	23	ret_env: (if retenv != null then (retenv \| setpath(["atoms"]; env.atoms)) else retenv end),
b103f95e A	24	finish: (continue \| not),
	25	cont: true # set inside
	26	};
	27
	28	def _symbol(name):
	29	{
	30	kind: "symbol",
	31	value: name
	32	};
	33
	34	def _symbol_v(name):
	35	if .kind == "symbol" then
	36	.value == name
	37	else
	38	false
	39	end;
	40
	41	def quasiquote:
	42	if isPair then
	43	.value as $value \| null \|
	44	if ($value[0] \| _symbol_v("unquote")) then
	45	$value[1]
	46	else
	47	if isPair($value[0]) and ($value[0].value[0] \| _symbol_v("splice-unquote")) then
	48	[_symbol("concat")] +
	49	[$value[0].value[1]] +
	50	[($value[1:] \| wrap("list") \| quasiquote)] \| wrap("list")
	51	else
	52	[_symbol("cons")] +
	53	[($value[0] \| quasiquote)] +
	54	[($value[1:] \| wrap("list") \| quasiquote)] \| wrap("list")
	55	end
	56	end
	57	else
	58	[_symbol("quote")] +
	59	[.] \| wrap("list")
	60	end;
	61
	62	def set_macro_function:
	63	if .kind != "function" then
	64	jqmal_error("expected a function to be defined by defmacro!")
	65	else
	66	.is_macro \|= true
	67	end;
	68
	69	def is_macro_call(env):
	70	if .kind != "list" then
	71	false
	72	else
	73	if (.value\|first.kind == "symbol") then
	74	env_req(env; .value\|first.value)
	75	\| if .kind != "function" then
	76	false
	77	else
	78	.is_macro
	79	end
	80	else
	81	false
	82	end
	83	end;
	84
	85	def EVAL(env):
	86	def _eval_here:
	87	.env as $env \| .expr \| EVAL($env);
88
89	def _interpret($_menv):
90	reduce .value[] as $elem (
fed3ca50 A	91	{env: $_menv, val: []};
	92	. as $dot \| $elem \| EVAL($dot.env) as $eval_env \|
	93	($dot.env \| setpath(["atoms"]; $eval_env.env.atoms)) as $_menv \|
	94	{env: $_menv, val: ($dot.val + [$eval_env.expr])}
	95	) \| . as $expr \| $expr.val \| first \|
	96	interpret($expr.val[1:]; $expr.env; _eval_here);
b103f95e A	97
b103f95e A	98	def macroexpand(env):
832abfbd A	99	. as $dot \|
832abfbd A	100	$dot \|
b103f95e	101	[ while(is_macro_call(env \| unwrapCurrentEnv);
832abfbd A	102	. as $dot
	103	\| ($dot.value[0] \| EVAL(env).expr) as $fn
	104	\| $dot.value[1:] as $args
	105	\| $fn
	106	\| interpret($args; env; _eval_here).expr) // . ]
	107	\| last
b103f95e	108	\| if is_macro_call(env \| unwrapCurrentEnv) then
832abfbd A	109	. as $dot
	110	\| ($dot.value[0] \| EVAL(env).expr) as $fn
	111	\| $dot.value[1:] as $args
	112	\| $fn
	113	\| interpret($args; env; _eval_here).expr
b103f95e A	114	else
b103f95e A	115	.
832abfbd A	116	end
832abfbd A	117	;
b103f95e A	118
	119	def hmap_with_env:
	120	.env as $env \| .list as $list \|
	121	if $list\|length == 0 then
	122	empty
	123	else
	124	$list[0] as $elem \|
	125	$list[1:] as $rest \|
	126	$elem.value.value \| EVAL($env) as $resv \|
	127	{
	128	value: {
	129	key: $elem.key,
	130	value: { kkind: $elem.value.kkind, value: $resv.expr }
	131	},
	132	env: env
	133	},
	134	({env: $resv.env, list: $rest} \| hmap_with_env)
	135	end;
	136	def map_with_env:
	137	.env as $env \| .list as $list \|
	138	if $list\|length == 0 then
	139	empty
	140	else
	141	$list[0] as $elem \|
	142	$list[1:] as $rest \|
	143	$elem \| EVAL($env) as $resv \|
	144	{ value: $resv.expr, env: env },
	145	({env: $resv.env, list: $rest} \| map_with_env)
	146	end;
	147	def eval_ast(env):
	148	(select(.kind == "vector") \|
	149	if .value\|length == 0 then
	150	{
	151	kind: "vector",
	152	value: []
	153	}
	154	else
	155	[ { env: env, list: .value } \| map_with_env ] as $res \|
	156	{
	157	kind: "vector",
	158	value: $res \| map(.value)
	159	}
	160	end
	161	) //
	162	(select(.kind == "hashmap") \|
	163	[ { env: env, list: (.value \| to_entries) } \| hmap_with_env ] as $res \|
	164	{
	165	kind: "hashmap",
	166	value: $res \| map(.value) \| from_entries
	167	}
	168	) //
	169	(select(.kind == "function") \|
	170	.# return this unchanged, since it can only be applied to
	171	) //
	172	(select(.kind == "symbol") \|
	173	.value \| env_get(env \| unwrapCurrentEnv)
	174	) // .;
	175
	176	. as $ast
	177	\| { env: env, ast: ., cont: true, finish: false, ret_env: null }
	178	\| [ recurseflip(.cont;
	179	.env as $_menv
	180	\| (if $DEBUG then _debug("EVAL: \($ast \| pr_str($_menv))") else . end)
fed3ca50	181	\| (if $DEBUG then _debug("ATOMS: \($_menv.atoms)") else . end)
b103f95e A	182	\| if .finish then
	183	.cont \|= false
	184	else
	185	(.ret_env//.env) as $_retenv
	186	\| .ret_env as $_orig_retenv
	187	\| .ast
	188	\| . as $init
	189	\| $_menv \| unwrapCurrentEnv as $currentEnv # unwrap env "package"
	190	\| $_menv \| unwrapReplEnv as $replEnv # -
	191	\| $init
	192	\|
	193	(select(.kind == "list") \|
	194	macroexpand($_menv) \|
	195	if .kind != "list" then
	196	eval_ast($_menv) \| TCOWrap($_menv; $_orig_retenv; false)
	197	else
	198	if .value \| length == 0 then
	199	. \| TCOWrap($_menv; $_orig_retenv; false)
	200	else
	201	(
fed3ca50 A	202	(
	203	.value \| select(.[0].value == "atoms??") as $value \|
	204	$_menv.atoms \| keys \| map(wrap("string")) \| wrap("list") \| TCOWrap($_menv; $_orig_retenv; false)
	205	) //
b103f95e A	206	(
	207	.value \| select(.[0].value == "def!") as $value \|
	208	($value[2] \| EVAL($_menv)) as $evval \|
	209	addToEnv($evval; $value[1].value) as $val \|
	210	$val.expr \| TCOWrap($val.env; $_orig_retenv; false)
	211	) //
	212	(
	213	.value \| select(.[0].value == "defmacro!") as $value \|
	214	($value[2] \| EVAL($_menv) \| (.expr \|= set_macro_function)) as $evval \|
	215	addToEnv($evval; $value[1].value) as $val \|
	216	$val.expr \| TCOWrap($val.env; $_orig_retenv; false)
	217	) //
	218	(
	219	.value \| select(.[0].value == "let*") as $value \|
2ce3c78e	220	($currentEnv \| pureChildEnv \| wrapEnv($replEnv; $_menv.atoms)) as $_menv \|
b103f95e	221	(reduce ($value[1].value \| nwise(2)) as $xvalue (
fed3ca50	222	$_menv;
b103f95e A	223	. as $env \| $xvalue[1] \| EVAL($env) as $expenv \|
	224	env_set_($expenv.env; $xvalue[0].value; $expenv.expr))) as $env
	225	\| $value[2] \| TCOWrap($env; $_retenv; true)
	226	) //
	227	(
	228	.value \| select(.[0].value == "do") as $value \|
	229	(reduce ($value[1:][]) as $xvalue (
	230	{ env: $_menv, expr: {kind:"nil"} };
	231	.env as $env \| $xvalue \| EVAL($env)
	232	)) \| . as $ex \| .expr \| TCOWrap($ex.env; $_orig_retenv; false)
	233	) //
	234	(
	235	.value \| select(.[0].value == "try*") as $value \|
	236	try (
	237	$value[1] \| EVAL($_menv) as $exp \| $exp.expr \| TCOWrap($exp.env; $_orig_retenv; false)
	238	) catch ( . as $exc \|
	239	if $value[2] then
	240	if ($value[2].value[0] \| _symbol_v("catch*")) then
	241	(if ($exc \| is_jqmal_error) then
	242	$exc[19:] as $ex \|
	243	try (
	244	$ex
	245	\| fromjson
	246	) catch (
	247	$ex \|
	248	wrap("string")
	249	)
	250	else
	251	$exc\|wrap("string")
	252	end) as $exc \|
fed3ca50	253	$value[2].value[2] \| EVAL($currentEnv \| childEnv([$value[2].value[1].value]; [$exc]) \| wrapEnv($replEnv; $_menv.atoms)) as $ex \|
b103f95e A	254	$ex.expr \| TCOWrap($ex.env; $_retenv; false)
	255	else
	256	error($exc)
	257	end
	258	else
	259	error($exc)
	260	end
	261	)
	262	) //
	263	(
	264	.value \| select(.[0].value == "if") as $value \|
	265	$value[1] \| EVAL($_menv) as $condenv \|
	266	(if (["false", "nil"] \| contains([$condenv.expr.kind])) then
	267	($value[3] // {kind:"nil"})
	268	else
	269	$value[2]
	270	end) \| TCOWrap($condenv.env; $_orig_retenv; true)
	271	) //
	272	(
	273	.value \| select(.[0].value == "fn*") as $value \|
b103f95e A	274	# (fn* args body)
	275	$value[1].value \| map(.value) as $binds \|
	276	($value[2] \| find_free_references($currentEnv \| env_dump_keys + $binds)) as $free_referencess \| {
	277	kind: "function",
	278	binds: $binds,
6b0d8c8d	279	env: ($_menv \| env_remove_references($free_referencess)),
b103f95e	280	body: $value[2],
597522fa	281	names: [], # we can't do that circular reference thing
b103f95e A	282	free_referencess: $free_referencess, # for dynamically scoped variables
	283	is_macro: false
	284	} \| TCOWrap($_menv; $_orig_retenv; false)
	285	) //
	286	(
	287	.value \| select(.[0].value == "quote") as $value \|
	288	$value[1] \| TCOWrap($_menv; $_orig_retenv; false)
	289	) //
	290	(
	291	.value \| select(.[0].value == "quasiquote") as $value \|
	292	$value[1] \| quasiquote \| TCOWrap($_menv; $_orig_retenv; true)
	293	) //
	294	(
	295	.value \| select(.[0].value == "macroexpand") as $value \|
832abfbd	296	$value[1] \| macroexpand($_menv) \| TCOWrap($_menv; $_orig_retenv; false)
b103f95e A	297	) //
	298	(
	299	. as $dot \| _interpret($_menv) as $exprenv \|
	300	$exprenv.expr \| TCOWrap($exprenv.env; $_orig_retenv; false)
	301	) //
	302	TCOWrap($_menv; $_orig_retenv; false)
	303	)
	304	end
	305	end
	306	) //
	307	(eval_ast($_menv) \| TCOWrap($_menv; $_orig_retenv; false))
	308	end
832abfbd	309	\| (if $DEBUG then _debug("POSTEVAL: \($ast \| pr_str($_menv)) = \(.ast \| pr_str($_menv))") else . end)
b103f95e A	310	) ]
	311	\| last as $result
	312	\| ($result.ret_env // $result.env) as $env
	313	\| $result.ast
	314	\| addEnv($env);
	315
	316	def PRINT(env):
	317	pr_str(env);
	318
	319	def rep(env):
	320	READ \| EVAL(env) as $expenv \|
	321	if $expenv.expr != null then
	322	$expenv.expr \| PRINT($expenv.env)
	323	else
	324	null
	325	end \| addEnv($expenv.env);
	326
	327	def repl_(env):
	328	("user> " \| _print) \|
	329	(read_line \| rep(env));
	330
	331	# we don't have no indirect functions, so we'll have to interpret the old way
	332	def replEnv:
	333	{
	334	parent: null,
	335	environment: ({
	336	"+": {
	337	kind: "fn", # native function
	338	inputs: 2,
	339	function: "number_add"
	340	},
	341	"-": {
	342	kind: "fn", # native function
	343	inputs: 2,
	344	function: "number_sub"
	345	},
	346	"*": {
	347	kind: "fn", # native function
	348	inputs: 2,
	349	function: "number_mul"
	350	},
	351	"/": {
	352	kind: "fn", # native function
	353	inputs: 2,
	354	function: "number_div"
	355	},
	356	"eval": {
	357	kind: "fn",
	358	inputs: 1,
	359	function: "eval"
	360	}
	361	} + core_identify),
b103f95e A	362	fallback: null
	363	};
	364
	365	def repl(env):
	366	def xrepl:
	367	(.env as $env \| try repl_($env) catch addEnv($env)) as $expenv \|
	368	{
	369	value: $expenv.expr,
	370	stop: false,
	371	env: ($expenv.env // .env)
	372	} \| ., xrepl;
83b974c5	373	{stop: false, env: env} \| xrepl \| if .value then (.value \| _display) else empty end;
b103f95e A	374
	375	def eval_ign(expr):
	376	. as $env \| expr \| rep($env) \| .env;
	377
	378	def eval_val(expr):
	379	. as $env \| expr \| rep($env) \| .expr;
	380
	381	def getEnv:
	382	replEnv
fed3ca50	383	\| wrapEnv({})
b103f95e A	384	\| eval_ign("(def! host-language \"jq\")")
	385	\| eval_ign("(def! not (fn* (a) (if a false true)))")
	386	\| eval_ign("(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \"\\nnil)\")))))))")
	387	\| eval_ign("(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)))))))")
	388	;
	389
	390	def main:
	391	if $ARGS.positional\|length > 0 then
	392	try (
	393	getEnv as $env \|
	394	env_set_($env; "ARGV"; $ARGS.positional[1:] \| map(wrap("string")) \| wrap("list")) \|
83b974c5 A	395	eval_val("(load-file \($ARGS.positional[0] \| tojson))") \|
83b974c5 A	396	""
b103f95e A	397	) catch (
	398	_print
	399	)
	400	else
	401	repl( getEnv as $env \| env_set_($env; "ARGV"; [] \| wrap("list")) )
	402	end;
	403
597522fa	404	[ main ] \| _halt