myser 0.1.0

A lisp for no_std systems
Documentation 
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
95
96
97
98

#![feature(as_array_of_cells)]

use myser::{
    builtins::{Builtin, Builtins},
    eval::{eval, Cells},
    parser::parse,
    pool::{RcValue, Pool},
    value::Value,
};
use core::ops::Deref;
use std::io::Write;

trait HasStdin {
    fn stdin(&self) -> &std::io::Stdin;
}

trait HasStdout {
    fn stdout(&self) -> &std::io::Stdout;
}

struct Context {
    stdin: std::io::Stdin,
    stdout: std::io::Stdout,
}

impl HasStdin for Context {
    fn stdin(&self) -> &std::io::Stdin {
        &self.stdin
    }
}

impl HasStdout for Context {
    fn stdout(&self) -> &std::io::Stdout {
        &self.stdout
    }
}

impl Context {
    fn new(stdin: std::io::Stdin, stdout: std::io::Stdout) -> Self {
        Self { stdin, stdout }
    }
}

fn print<'s, Context: HasStdout, const N: usize>(context: &mut Context, pool: &'s Pool<'s, N>, args: RcValue<'s>) -> RcValue<'s> {
    if let Value::Cons(car, cdr) = args.deref() {
        if let Value::Symbol("nil") = cdr.deref() {
            match car.deref() {
                Value::Integer(n) => {
                    write!(context.stdout(), "{}\n", n).unwrap();
                },
                car => {
                    write!(context.stdout(), "{:?}\n", car).unwrap();
                }
            }

            return pool.new_symbol("nil");
        }
    }

    write!(context.stdout(), "{:?}\n", args).unwrap();
    pool.new_symbol("nil")
}

fn read<'s, Context: HasStdin, const N: usize>(context: &mut Context, pool: &'s Pool<'s, N>, _: RcValue<'s>) -> RcValue<'s> {
    let mut buffer = String::new();
    context.stdin().read_line(&mut buffer).unwrap();

    if let Ok(n) = buffer.trim().parse() {
        return pool.new_integer(n);
    }

    pool.new_symbol("nil")
}

fn main() {
    let mut buffer = String::new();

    let pool: Pool<'_, 10000> = Pool::new();
    let mut builtins: Builtins<'_, _, 10000, 64> = Builtins::new();
    builtins.add("print", print as Builtin<'_, _, 10000>);
    builtins.add("read", read as Builtin<'_, _, 10000>);

    let mut context = Context::new(std::io::stdin(), std::io::stdout());
    let mut cells: Cells<'_, 16> = Cells::new();

    std::io::stdin().read_line(&mut buffer).unwrap();

    let result = parse(&pool, &buffer).unwrap().1;
    // println!("{:?}", result);
    // println!("{:?}", pool.used());
    eval(&mut context, &pool, &mut cells, &builtins, result);
    // println!("{:?}", result);
    // println!("{:?}", eval(&pool, result, &builtins));

    // println!("{}", pool.used());
    // println!("{:?}", pool.new_cons(&ZERO, &ONE));
    // println!("{:?}", eval(&pool.new_cons(&PLUS, pool.new_cons(&TWO, pool.new_cons(&PLUS, pool.new_cons(&TWO, &ONE))))));
}