crisp-runtime 0.0.6

A runtime for the lisp-like programming language Crisp which (one day!) integrates seamlessly with C/C++ and Rust libraries.
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

program = { SOI ~ s_expression* ~ EOI }

s_expression = { special_form | list | atom }

special_form = { tfun | tdef | tdefn | fun | defn | def | ifb | opvar }

fun   = { "(" ~ "define" ~ "[" ~ (symbol_type | symbol)* ~ "]" ~ s_expression ~ ")" }
def   = { "(" ~ "define" ~ (symbol_type | symbol) ~ s_expression ~ ")" }
defn  = { "(" ~ "define" ~ symbol ~ "[" ~ (symbol_type | symbol)* ~ "]" ~ s_expression ~ ")" }
tfun  = { "(" ~ "define" ~ "[" ~ symbol_type* ~ "]" ~ s_expression ~ ")" }
tdef  = { "(" ~ "define" ~ symbol_type ~ s_expression ~ ")" }
tdefn = { "(" ~ "define" ~ symbol ~ "[" ~ symbol_type* ~ "]" ~ s_expression ~ ")" }
ifb   = { "(" ~ "if" ~ s_expression ~ s_expression ~ s_expression ~ ")" }
opvar = { "(" ~ operator ~ s_expression ~ s_expression+ ~ ")" }
list  = { "(" ~ s_expression* ~ ")" }
atom  = { number | string | boolean | symbol | comment }

symbol_type =  { symbol ~ type }
number      = @{ ("+" | "-")? ~ ASCII_DIGIT+ ~ "."* ~ ASCII_DIGIT* }
symbol      = @{ (ASCII_ALPHA | "_") ~ (ASCII_ALPHANUMERIC | "_")* }
type        =  { TSTR | TNUM | TBOOL | TLIST | TFUN }
TSTR        = @{ "String" }
TNUM        = @{ "Number" }
TBOOL       = @{ "Boolean" }
TLIST       = @{ "List" }
TFUN        = @{ "Function" }
operator    =  { add | sub | mul | div | less | more | equal }
add         = @{ "+" }
sub         = @{ "-" }
mul         = @{ "*" }
div         = @{ "/" }
less        = @{ "<" }
more        = @{ ">" }
equal       = @{ "=" }
string      =  { "\"" ~ (string_char)* ~ "\"" }
string_char =  { ("\\\"" | "\\\\" | !("\"" | "\\") ~ ANY) }
comment     = @{ "//" ~ (!"\n" ~ ANY)* }
boolean     =  @{ "true" | "false" }

WHITESPACE = _{ " " | "\t" | "\n" }