2023-02-07 02:07:53 -05:00
|
|
|
#[macro_use] extern crate lalrpop_util;
|
|
|
|
|
lalrpop_mod!(pub grammar);
|
|
|
|
|
|
|
|
|
|
use std::rc::Rc;
|
|
|
|
|
|
|
|
|
|
mod ast;
|
2023-02-10 19:38:44 -05:00
|
|
|
use crate::ast::{Form,PossibleTailCall};
|
2023-02-07 02:07:53 -05:00
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn parse_test() {
|
2023-02-08 23:37:23 -05:00
|
|
|
let g = grammar::TermParser::new();
|
|
|
|
|
for test in [
|
|
|
|
|
"22", "(22)", "(((22)))",
|
|
|
|
|
"(22 )", "()", "( )", "( 44)", "(44 )",
|
|
|
|
|
"(22 44 (1) 33 (4 5 (6) 6))", "hello",
|
|
|
|
|
"-", "+", "(+ 1 ;hi
|
|
|
|
|
3)", "'13", "hello-world", "_",
|
|
|
|
|
] {
|
|
|
|
|
assert!(g.parse(test).is_ok());
|
|
|
|
|
}
|
|
|
|
|
assert!(g.parse("((22)").is_err());
|
|
|
|
|
|
|
|
|
|
let e = root_env();
|
|
|
|
|
|
|
|
|
|
fn eval_test<T: Into<Form>>(gram: &grammar::TermParser, e: &Rc<Form>, code: &str, expected: T) {
|
|
|
|
|
assert_eq!(*eval(Rc::clone(e), Rc::new(gram.parse(code).unwrap())), expected.into());
|
|
|
|
|
}
|
2023-02-07 02:07:53 -05:00
|
|
|
|
2023-02-08 23:37:23 -05:00
|
|
|
eval_test(&g, &e, "(+ 2 (car (cons 4 '(1 2))))", 6);
|
|
|
|
|
eval_test(&g, &e, "(= 17 ((vau d p (+ (eval (car p) d) 13)) (+ 1 3)))", true);
|
|
|
|
|
eval_test(&g, &e, "(if (= 2 2) (+ 1 2) (+ 3 4))", 3);
|
|
|
|
|
eval_test(&g, &e, "(quote a)", "a");
|
|
|
|
|
eval_test(&g, &e, "'a", "a");
|
|
|
|
|
eval_test(&g, &e, "'(1 . a)", (1, "a"));
|
|
|
|
|
eval_test(&g, &e, "'(1 a)", (1, ("a", Form::Nil)));
|
|
|
|
|
eval_test(&g, &e, "true", true);
|
|
|
|
|
eval_test(&g, &e, "false", false);
|
|
|
|
|
eval_test(&g, &e, "nil", Form::Nil);
|
2023-02-07 02:07:53 -05:00
|
|
|
|
2023-02-08 23:37:23 -05:00
|
|
|
eval_test(&g, &e, "(+ 1 2)", 3);
|
|
|
|
|
eval_test(&g, &e, "(- 1 2)", -1);
|
|
|
|
|
eval_test(&g, &e, "(* 1 2)", 2);
|
|
|
|
|
eval_test(&g, &e, "(/ 4 2)", 2);
|
|
|
|
|
eval_test(&g, &e, "(% 3 2)", 1);
|
|
|
|
|
eval_test(&g, &e, "(& 3 2)", 2);
|
|
|
|
|
eval_test(&g, &e, "(| 2 1)", 3);
|
|
|
|
|
eval_test(&g, &e, "(^ 2 1)", 3);
|
|
|
|
|
eval_test(&g, &e, "(^ 3 1)", 2);
|
|
|
|
|
|
|
|
|
|
eval_test(&g, &e, "(comb? +)", true);
|
|
|
|
|
eval_test(&g, &e, "(comb? (vau d p 1))", true);
|
|
|
|
|
eval_test(&g, &e, "(comb? 1)", false);
|
|
|
|
|
eval_test(&g, &e, "(pair? '(a))", true);
|
|
|
|
|
//eval_test(&g, &e, "(pair? '())", true);
|
|
|
|
|
eval_test(&g, &e, "(nil? nil)", true);
|
|
|
|
|
eval_test(&g, &e, "(nil? 1)", false);
|
|
|
|
|
eval_test(&g, &e, "(pair? 1)", false);
|
|
|
|
|
eval_test(&g, &e, "(symbol? 'a)", true);
|
|
|
|
|
eval_test(&g, &e, "(symbol? 1)", false);
|
|
|
|
|
eval_test(&g, &e, "(int? 1)", true);
|
|
|
|
|
eval_test(&g, &e, "(int? true)", false);
|
|
|
|
|
eval_test(&g, &e, "(bool? true)", true);
|
|
|
|
|
eval_test(&g, &e, "(bool? 1)", false);
|
2023-02-09 01:20:19 -05:00
|
|
|
|
2023-02-10 01:01:04 -05:00
|
|
|
eval_test(&g, &e, "!(bool?) 1", false);
|
|
|
|
|
eval_test(&g, &e, "!(bool?) true", true);
|
|
|
|
|
|
2023-02-09 01:20:19 -05:00
|
|
|
eval_test(&g, &e, "((vau root_env _ (eval 'a (cons (cons 'a 2) root_env))))", 2);
|
2023-02-10 19:38:44 -05:00
|
|
|
let LET = "!((vau root_env p (eval (car p)
|
2023-02-09 01:20:19 -05:00
|
|
|
(cons (cons 'let1
|
2023-02-10 01:01:04 -05:00
|
|
|
(vau de p (eval (car (cdr (cdr p))) (cons (cons (car p) (eval (car (cdr p)) de)) de)))
|
|
|
|
|
) root_env))))";
|
2023-02-09 01:20:19 -05:00
|
|
|
|
2023-02-10 01:01:04 -05:00
|
|
|
eval_test(&g, &e, &format!("{} (let1 x 10 (+ x 7))", LET), 17);
|
2023-02-10 19:38:44 -05:00
|
|
|
let FIB = "
|
|
|
|
|
!(let1 fib (vau de p
|
|
|
|
|
!(let1 self (eval (car p) de))
|
|
|
|
|
!(let1 n (eval (car (cdr p)) de))
|
|
|
|
|
!(if (= 0 n) 0)
|
|
|
|
|
!(if (= 1 n) 1)
|
|
|
|
|
(+ (self self (- n 1)) (self self (- n 2)))
|
|
|
|
|
))";
|
|
|
|
|
eval_test(&g, &e, &format!("{} {} (fib fib 6)", LET, FIB), 8);
|
|
|
|
|
|
|
|
|
|
let FACT = "
|
|
|
|
|
!(let1 fact (vau de p
|
|
|
|
|
!(let1 self (eval (car p) de))
|
|
|
|
|
!(let1 n (eval (car (cdr p)) de))
|
|
|
|
|
!(if (= 0 n) 1)
|
|
|
|
|
(* n (self self (- n 1)))
|
|
|
|
|
))";
|
|
|
|
|
eval_test(&g, &e, &format!("{} {} (fact fact 6)", LET, FACT), 720);
|
2023-02-10 22:34:04 -05:00
|
|
|
let VAPPLY = format!("
|
|
|
|
|
{}
|
|
|
|
|
!(let1 vapply (vau de p
|
|
|
|
|
!(let1 f (eval (car p) de))
|
2023-02-10 23:05:08 -05:00
|
|
|
!(let1 ip (eval (car (cdr p)) de))
|
2023-02-10 22:34:04 -05:00
|
|
|
!(let1 nde (eval (car (cdr (cdr p))) de))
|
2023-02-10 23:05:08 -05:00
|
|
|
(eval (cons f ip) nde)
|
2023-02-10 22:34:04 -05:00
|
|
|
))", LET);
|
2023-02-10 23:05:08 -05:00
|
|
|
|
2023-02-10 22:34:04 -05:00
|
|
|
let BADID = format!("
|
|
|
|
|
{}
|
2023-02-10 19:38:44 -05:00
|
|
|
!(let1 badid (vau de p
|
2023-02-10 22:34:04 -05:00
|
|
|
!(let1 inner (vau ide ip
|
|
|
|
|
!(let1 self (car ip))
|
|
|
|
|
!(let1 n (car (cdr ip)))
|
|
|
|
|
!(let1 acc (car (cdr (cdr ip))))
|
|
|
|
|
!(if (= 0 n) acc)
|
|
|
|
|
(vapply self (cons self (cons (- n 1) (cons (+ acc 1) nil))) de)
|
|
|
|
|
))
|
|
|
|
|
(vapply inner (cons inner (cons (eval (car p) de) (cons 0 nil))) de)
|
|
|
|
|
))", VAPPLY);
|
2023-02-10 19:38:44 -05:00
|
|
|
// Won't work unless tail calls work
|
|
|
|
|
// can't go too much higher though, because the env keeps growing
|
|
|
|
|
// and the Rc::drop will overflow the stack lol
|
2023-02-10 22:34:04 -05:00
|
|
|
eval_test(&g, &e, &format!("{} (badid 1000)", BADID), 1000);
|
2023-02-09 01:20:19 -05:00
|
|
|
|
2023-02-10 23:05:08 -05:00
|
|
|
let VMAP = format!("
|
|
|
|
|
{}
|
|
|
|
|
!(let1 vmap (vau de p
|
|
|
|
|
!(let1 vmap_inner (vau ide ip
|
|
|
|
|
!(let1 self (car ip))
|
|
|
|
|
!(let1 f (car (cdr ip)))
|
|
|
|
|
!(let1 l (car (cdr (cdr ip))))
|
|
|
|
|
!(if (= nil l) l)
|
|
|
|
|
(cons (vapply f (cons (car l) nil) de) (vapply self (cons self (cons f (cons (cdr l) nil))) de))
|
|
|
|
|
))
|
|
|
|
|
(vapply vmap_inner (cons vmap_inner (cons (eval (car p) de) (cons (eval (car (cdr p)) de) nil))) de)
|
|
|
|
|
))", VAPPLY);
|
|
|
|
|
eval_test(&g, &e, &format!("{} (vmap (vau de p (+ 1 (car p))) '(1 2 3))", VMAP), (2, (3, (4, Form::Nil))));
|
|
|
|
|
|
2023-02-09 01:20:19 -05:00
|
|
|
// TODO, finish lambda
|
|
|
|
|
let LAMBDA = "
|
|
|
|
|
((vau root_env _ (eval '((lambda x 2))
|
|
|
|
|
(cons (cons 'lambda
|
|
|
|
|
|
|
|
|
|
(vau de p (eval (cons vau (cons '_ (cons (car p) (cons (car (cdr p)) nil)))) de))
|
|
|
|
|
|
|
|
|
|
) root_env))))
|
|
|
|
|
";
|
|
|
|
|
|
|
|
|
|
eval_test(&g, &e, LAMBDA, 2);
|
2023-02-07 02:07:53 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn eval(e: Rc<Form>, f: Rc<Form>) -> Rc<Form> {
|
|
|
|
|
let mut e = e;
|
|
|
|
|
let mut x = Option::Some(f);
|
|
|
|
|
loop {
|
|
|
|
|
let cur = x.take().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
//println!("Evaluating {:?} in {:?}", cur, e);
|
2023-02-07 02:07:53 -05:00
|
|
|
match *cur {
|
|
|
|
|
Form::Symbol(ref s) => {
|
|
|
|
|
let mut t = e;
|
2023-02-10 19:38:44 -05:00
|
|
|
//println!("Looking up {} in {:?}", s, t);
|
2023-02-07 02:07:53 -05:00
|
|
|
while s != t.car().unwrap().car().unwrap().sym().unwrap() {
|
|
|
|
|
t = t.cdr().unwrap();
|
|
|
|
|
}
|
|
|
|
|
return t.car().unwrap().cdr().unwrap();
|
|
|
|
|
},
|
|
|
|
|
Form::Pair(ref c, ref p) => {
|
|
|
|
|
let comb = eval(Rc::clone(&e), Rc::clone(c));
|
|
|
|
|
match *comb {
|
2023-02-10 19:38:44 -05:00
|
|
|
Form::PrimComb(ref n, ref f) => match f(e, Rc::clone(p)) {
|
|
|
|
|
PossibleTailCall::Result(r) => return r,
|
|
|
|
|
PossibleTailCall::TailCall(ne, nx) => {
|
|
|
|
|
e = ne;
|
|
|
|
|
x = Some(nx);
|
|
|
|
|
},
|
|
|
|
|
},
|
2023-02-07 13:00:15 -05:00
|
|
|
Form::DeriComb{ref se, ref de, ref params, ref body } => {
|
|
|
|
|
let mut new_e = Rc::clone(se);
|
|
|
|
|
if let Some(de) = de {
|
|
|
|
|
new_e = assoc(de, Rc::clone(&e), new_e);
|
|
|
|
|
}
|
|
|
|
|
if let Some(params) = params.sym() {
|
|
|
|
|
new_e = assoc(params, Rc::clone(p), new_e);
|
|
|
|
|
}
|
2023-02-10 19:38:44 -05:00
|
|
|
// always a tail call
|
2023-02-07 13:00:15 -05:00
|
|
|
e = new_e;
|
|
|
|
|
x = Some(Rc::clone(body));
|
|
|
|
|
},
|
|
|
|
|
_ => panic!("Tried to call not a Prim/DeriComb {:?}", comb),
|
2023-02-07 02:07:53 -05:00
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
_ => return cur,
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2023-02-07 13:00:15 -05:00
|
|
|
fn assoc(k: &str, v: Rc<Form>, l: Rc<Form>) -> Rc<Form> {
|
|
|
|
|
Rc::new(Form::Pair(
|
|
|
|
|
Rc::new(Form::Pair(
|
|
|
|
|
Rc::new(Form::Symbol(k.to_owned())),
|
|
|
|
|
v)),
|
|
|
|
|
l))
|
|
|
|
|
}
|
|
|
|
|
fn assoc_vec(kvs: Vec<(&str, Rc<Form>)>) -> Rc<Form> {
|
|
|
|
|
let mut to_ret = Rc::new(Form::Nil);
|
|
|
|
|
for (k, v) in kvs {
|
|
|
|
|
to_ret = assoc(k, v, to_ret);
|
|
|
|
|
}
|
|
|
|
|
to_ret
|
|
|
|
|
}
|
2023-02-07 02:07:53 -05:00
|
|
|
|
2023-02-08 23:37:23 -05:00
|
|
|
fn root_env() -> Rc<Form> {
|
|
|
|
|
assoc_vec(vec![
|
2023-02-07 13:00:15 -05:00
|
|
|
// TODO: Should be properly tail recursive
|
|
|
|
|
("eval", Rc::new(Form::PrimComb("eval".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
//println!("To get eval body, evaluating {:?} in {:?}", p.car(), e);
|
2023-02-07 13:00:15 -05:00
|
|
|
let b = eval(Rc::clone(&e), p.car().unwrap());
|
|
|
|
|
let e = if let Some(ne) = p.cdr().unwrap().car() {
|
2023-02-10 19:38:44 -05:00
|
|
|
//println!("To get eval env, evaluating {:?} in {:?}", ne, e);
|
2023-02-07 13:00:15 -05:00
|
|
|
eval(e, ne)
|
|
|
|
|
} else { e };
|
2023-02-10 19:38:44 -05:00
|
|
|
//println!("Evaling {:?} in {:?}", b, e);
|
|
|
|
|
PossibleTailCall::TailCall(e, b)
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
|
|
|
|
// (vau de params body)
|
|
|
|
|
("vau", Rc::new(Form::PrimComb("vau".to_owned(), |e, p| {
|
|
|
|
|
let de = p.car().unwrap().sym().map(|s| s.to_owned());
|
|
|
|
|
let params = p.cdr().unwrap().car().unwrap();
|
|
|
|
|
let body = p.cdr().unwrap().cdr().unwrap().car().unwrap();
|
|
|
|
|
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::DeriComb { se: e, de, params, body }))
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
2023-02-08 01:54:53 -05:00
|
|
|
("=", Rc::new(Form::PrimComb("=".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap());
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap());
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(a == b)))
|
2023-02-08 01:54:53 -05:00
|
|
|
}))),
|
|
|
|
|
("if", Rc::new(Form::PrimComb("if".to_owned(), |e, p| {
|
|
|
|
|
if eval(Rc::clone(&e), p.car().unwrap()).truthy() {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::TailCall(e, p.cdr().unwrap().car().unwrap())
|
2023-02-08 01:54:53 -05:00
|
|
|
} else if let Some(els) = p.cdr().unwrap().cdr().and_then(|x| x.car()) {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::TailCall(e, els)
|
2023-02-08 01:54:53 -05:00
|
|
|
} else {
|
|
|
|
|
// should we really allow this? (2 arg if with no else)
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Nil))
|
2023-02-08 01:54:53 -05:00
|
|
|
}
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
|
|
|
|
("cons", Rc::new(Form::PrimComb("cons".to_owned(), |e, p| {
|
|
|
|
|
let h = eval(Rc::clone(&e), p.car().unwrap());
|
|
|
|
|
let t = eval(e, p.cdr().unwrap().car().unwrap());
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Pair(h, t)))
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
|
|
|
|
("car", Rc::new(Form::PrimComb("car".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(eval(Rc::clone(&e), p.car().unwrap()).car().unwrap())
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
|
|
|
|
("cdr", Rc::new(Form::PrimComb("cdr".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(eval(Rc::clone(&e), p.car().unwrap()).cdr().unwrap())
|
2023-02-07 13:00:15 -05:00
|
|
|
}))),
|
2023-02-08 01:54:53 -05:00
|
|
|
("quote", Rc::new(Form::PrimComb("quote".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(p.car().unwrap())
|
2023-02-08 01:54:53 -05:00
|
|
|
}))),
|
2023-02-08 23:37:23 -05:00
|
|
|
|
2023-02-10 23:05:08 -05:00
|
|
|
("debug", Rc::new(Form::PrimComb("debug".to_owned(), |e, p| {
|
|
|
|
|
println!("Debug: {:?}", eval(Rc::clone(&e), p.car().unwrap()));
|
|
|
|
|
PossibleTailCall::TailCall(e, p.cdr().unwrap().car().unwrap())
|
|
|
|
|
}))),
|
|
|
|
|
|
2023-02-08 23:37:23 -05:00
|
|
|
("+", Rc::new(Form::PrimComb("+".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a + b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("-", Rc::new(Form::PrimComb("-".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a - b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("*", Rc::new(Form::PrimComb("*".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a * b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("/", Rc::new(Form::PrimComb("/".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a / b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("%", Rc::new(Form::PrimComb("%".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a % b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("&", Rc::new(Form::PrimComb("&".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a & b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("|", Rc::new(Form::PrimComb("|".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a | b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("^", Rc::new(Form::PrimComb("^".to_owned(), |e, p| {
|
|
|
|
|
let a = eval(Rc::clone(&e), p.car().unwrap()).int().unwrap();
|
|
|
|
|
let b = eval(e, p.cdr().unwrap().car().unwrap()).int().unwrap();
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Int(a ^ b)))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
|
|
|
|
|
("comb?", Rc::new(Form::PrimComb("comb?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::PrimComb(n, f) => true,
|
|
|
|
|
Form::DeriComb { .. } => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("pair?", Rc::new(Form::PrimComb("pair?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::Pair(_a,_b) => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("symbol?", Rc::new(Form::PrimComb("symbol?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::Symbol(_) => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("int?", Rc::new(Form::PrimComb("int?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::Int(_) => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
// maybe bool? but also could be derived. Nil def
|
|
|
|
|
("bool?", Rc::new(Form::PrimComb("bool?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::Bool(_) => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
("nil?", Rc::new(Form::PrimComb("nil?".to_owned(), |e, p| {
|
2023-02-10 19:38:44 -05:00
|
|
|
PossibleTailCall::Result(Rc::new(Form::Bool(match &*eval(e, p.car().unwrap()) {
|
2023-02-08 23:37:23 -05:00
|
|
|
Form::Nil => true,
|
|
|
|
|
_ => false,
|
2023-02-10 19:38:44 -05:00
|
|
|
})))
|
2023-02-08 23:37:23 -05:00
|
|
|
}))),
|
|
|
|
|
|
|
|
|
|
// consts
|
|
|
|
|
("true", Rc::new(Form::Bool(true))),
|
|
|
|
|
("false", Rc::new(Form::Bool(false))),
|
|
|
|
|
("nil", Rc::new(Form::Nil)),
|
|
|
|
|
])
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2023-02-07 13:00:15 -05:00
|
|
|
//let input = "(+ 2 (car (cons 4 '(1 2))))";
|
2023-02-08 01:54:53 -05:00
|
|
|
let input = "(= 17 ((vau d p (+ (eval (car p) d) 13)) (+ 1 3)))";
|
|
|
|
|
//let input = "(if (= 2 2) (+ 1 2) (+ 3 4))";
|
|
|
|
|
//let input = "(quote a)";
|
|
|
|
|
//let input = "'a";
|
|
|
|
|
let parsed_input = grammar::TermParser::new().parse(input).unwrap();
|
|
|
|
|
println!("Parsed input is {:?}", parsed_input);
|
2023-02-08 23:37:23 -05:00
|
|
|
let result = eval(root_env(), Rc::new(parsed_input));
|
2023-02-07 02:07:53 -05:00
|
|
|
println!("Result is {:?}", result);
|
|
|
|
|
}
|