schala/src/rukka_lang/mod.rs

184 lines
4.7 KiB
Rust
Raw Normal View History

use itertools::Itertools;
use schala_lib::{ProgrammingLanguageInterface, EvalOptions, ReplOutput};
2017-11-29 01:45:29 -08:00
use std::iter::Peekable;
2017-12-01 02:16:28 -08:00
use std::vec::IntoIter;
2017-11-29 01:45:29 -08:00
use std::str::Chars;
2017-12-03 22:10:19 -08:00
pub struct EvaluatorState { }
pub struct Rukka {
state: EvaluatorState
}
impl Rukka {
2017-12-03 22:10:19 -08:00
pub fn new() -> Rukka { Rukka { state: EvaluatorState::new() } }
}
impl ProgrammingLanguageInterface for Rukka {
fn get_language_name(&self) -> String {
"Rukka".to_string()
}
fn get_source_file_suffix(&self) -> String {
format!("rukka")
}
fn evaluate_in_repl(&mut self, input: &str, _eval_options: &EvalOptions) -> ReplOutput {
let mut output = ReplOutput::default();
2017-12-01 02:16:28 -08:00
let sexps = match read(input) {
Err(err) => {
output.add_output(format!("Error: {}", err));
return output;
},
Ok(sexps) => sexps
2017-11-29 01:45:29 -08:00
};
2017-12-01 02:16:28 -08:00
2017-12-01 02:36:52 -08:00
let output_str: String = sexps.into_iter().enumerate().map(|(i, sexp)| {
2017-12-03 22:10:19 -08:00
match self.state.eval(sexp) {
2017-12-03 17:11:17 -08:00
Ok(result) => format!("{}: {}", i, result.print()),
2017-12-01 02:36:52 -08:00
Err(err) => format!("{} Error: {}", i, err),
2017-12-01 02:16:28 -08:00
}
2017-12-01 02:36:52 -08:00
}).intersperse(format!("\n")).collect();
output.add_output(output_str);
output
}
}
2017-11-27 00:57:26 -08:00
2017-12-03 22:10:19 -08:00
impl EvaluatorState {
fn new() -> EvaluatorState { EvaluatorState { } }
fn eval(&mut self, expr: Sexp) -> Result<Sexp, String> {
use self::Sexp::*; use self::AtomT::*;
Ok(match expr {
Atom(atom) => match atom {
Symbol(s) => Atom(Symbol(s)),
LangString(s) => Atom(LangString(s)),
Number(s) => Atom(Number(s)),
},
List(items) => unimplemented!(),
})
}
2017-11-28 03:37:16 -08:00
}
2017-12-01 02:16:28 -08:00
fn read(input: &str) -> Result<Vec<Sexp>, String> {
let mut chars: Peekable<Chars> = input.chars().peekable();
let mut tokens = tokenize(&mut chars).into_iter().peekable();
let mut sexps = Vec::new();
2017-12-01 02:39:17 -08:00
while let Some(_) = tokens.peek() {
2017-12-01 02:16:28 -08:00
sexps.push(parse(&mut tokens)?);
2017-11-29 02:08:30 -08:00
}
2017-12-01 02:16:28 -08:00
Ok(sexps)
2017-11-28 03:37:16 -08:00
}
2017-11-27 00:57:26 -08:00
2017-11-30 22:37:49 -08:00
#[derive(Debug)]
enum Token {
LParen,
RParen,
2017-12-03 06:04:53 -08:00
Quote,
2017-12-03 17:11:17 -08:00
Word(String),
StringLiteral(String),
2017-12-03 19:21:56 -08:00
NumLiteral(u64),
2017-11-30 22:37:49 -08:00
}
2017-12-01 02:39:17 -08:00
#[derive(Debug)]
enum Sexp {
Atom(AtomT),
List(Vec<Sexp>),
}
2017-12-03 17:11:17 -08:00
impl Sexp {
fn print(&self) -> String {
use self::Sexp::*; use self::AtomT::*;
match self {
&Atom(ref atom) => match atom {
&Symbol(ref s) => format!("{}", s),
&LangString(ref s) => format!("\"{}\"", s),
2017-12-03 19:21:56 -08:00
&Number(ref n) => format!("{}", n),
2017-12-03 17:11:17 -08:00
},
_ => format!("<unprintable>")
}
}
}
2017-12-01 02:39:17 -08:00
#[derive(Debug)]
enum AtomT {
Symbol(String),
2017-12-03 17:11:17 -08:00
LangString(String),
2017-12-03 19:21:56 -08:00
Number(u64),
2017-12-01 02:39:17 -08:00
}
2017-11-30 22:37:49 -08:00
fn tokenize(input: &mut Peekable<Chars>) -> Vec<Token> {
2017-12-01 02:16:28 -08:00
use self::Token::*;
2017-11-30 22:37:49 -08:00
let mut tokens = Vec::new();
loop {
2017-12-01 02:16:28 -08:00
match input.next() {
2017-11-30 22:37:49 -08:00
None => break,
Some('(') => tokens.push(LParen),
Some(')') => tokens.push(RParen),
2017-12-03 06:04:53 -08:00
Some('\'') => tokens.push(Quote),
2017-12-01 02:16:28 -08:00
Some(c) if c.is_whitespace() => continue,
2017-12-03 19:21:56 -08:00
Some(c) if c.is_numeric() => {
let tok: String = input.peeking_take_while(|next| next.is_numeric()).collect();
let n: u64 = format!("{}{}", c, tok).parse().unwrap();
tokens.push(NumLiteral(n));
},
2017-12-03 17:11:17 -08:00
Some('"') => {
2017-12-03 17:47:17 -08:00
let string: String = input.scan(false, |escape, cur_char| {
let seen_escape = *escape;
*escape = cur_char == '\\' && !seen_escape;
2017-12-03 17:11:17 -08:00
2017-12-03 17:47:17 -08:00
if cur_char == '"' && !seen_escape {
None
} else if cur_char == '\\' && !seen_escape {
Some(None)
2017-12-03 17:11:17 -08:00
} else {
2017-12-03 17:47:17 -08:00
Some(Some(cur_char))
2017-12-03 17:11:17 -08:00
}
2017-12-03 17:47:17 -08:00
}).filter_map(|x| x).collect();
2017-12-03 17:11:17 -08:00
tokens.push(StringLiteral(string));
}
2017-12-01 02:58:09 -08:00
Some(c) => {
2017-12-01 02:36:52 -08:00
let sym: String = input.peeking_take_while(|next| {
match *next {
'(' | ')' => false,
c if c.is_whitespace() => false,
_ => true
2017-12-01 02:16:28 -08:00
}
2017-12-01 02:36:52 -08:00
}).collect();
2017-12-01 03:00:42 -08:00
tokens.push(Word(format!("{}{}", c, sym)));
2017-11-30 22:37:49 -08:00
}
}
}
2017-12-01 02:16:28 -08:00
tokens
2017-11-30 22:37:49 -08:00
}
2017-12-01 02:16:28 -08:00
fn parse(tokens: &mut Peekable<IntoIter<Token>>) -> Result<Sexp, String> {
use self::Token::*;
match tokens.next() {
2017-12-01 03:00:42 -08:00
Some(Word(s)) => Ok(Sexp::Atom(AtomT::Symbol(s))),
2017-12-03 17:11:17 -08:00
Some(StringLiteral(s)) => Ok(Sexp::Atom(AtomT::LangString(s))),
2017-12-01 02:16:28 -08:00
Some(LParen) => parse_sexp(tokens),
Some(RParen) => Err(format!("Unexpected ')'")),
2017-12-03 06:04:53 -08:00
Some(Quote) => {
let quoted = parse(tokens)?;
Ok(Sexp::List(vec![Sexp::Atom(AtomT::Symbol(format!("quote"))), quoted]))
},
2017-12-03 19:21:56 -08:00
Some(NumLiteral(n)) => Ok(Sexp::Atom(AtomT::Number(n))),
2017-12-01 02:16:28 -08:00
None => Err(format!("Unexpected end of input")),
2017-11-29 02:08:30 -08:00
}
}
2017-12-01 02:16:28 -08:00
fn parse_sexp(tokens: &mut Peekable<IntoIter<Token>>) -> Result<Sexp, String> {
use self::Token::*;
let mut vec = Vec::new();
2017-11-29 02:08:30 -08:00
loop {
2017-12-01 02:16:28 -08:00
match tokens.peek() {
None => return Err(format!("Unexpected end of input")),
Some(&RParen) => { tokens.next(); break},
_ => vec.push(parse(tokens)?),
2017-11-29 02:08:30 -08:00
}
}
2017-12-01 02:16:28 -08:00
Ok(Sexp::List(vec))
2017-11-28 03:37:16 -08:00
}