crisp 0.4.1

A small, expressive Lisp-inspired programming language.
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

/*
* Variable definition:
*   (def x 10)
* Named function definition:
*   (def f[x: int, y: int] -> int
*       (...)
*       (...)
*       (...)
*   )
*   (def f (fn [x: int, y: int] -> int
*       (...)
*       (...)
*       (...)
*   ))
* */

#[derive(Debug, Clone)]
pub enum Expr {
    Literal(Literal),
    Identifier(String),
    Def {
        name: String,
        type_annotation: Option<Type>,
        value: Box<Expr>,
    },
    Fn {
        params: Vec<Param>,
        return_type: Type,
        body: Box<Expr>,
    },
    Call {
        callee: Box<Expr>,
        args: Vec<Expr>,
    },
    If {
        condition: Box<Expr>,
        then_branch: Box<Expr>,
        else_branch: Option<Box<Expr>>,
    },
    Loop {
        condition: Box<Expr>,
        body: Box<Expr>,
    },
    Block(Vec<Expr>),
    Error,
}

#[derive(Debug, Clone)]
pub struct Param {
    pub name: String,
    pub type_annotation: Type,
}

#[derive(Debug, Clone, PartialEq)]
pub enum Type {
    I32,
    I64,
    U32,
    U64,
    F32,
    F64,
    Str,
    Bool,
    Function {
        params: Vec<Type>,
        return_type: Box<Type>,
    },
    Unit,
}

#[derive(Debug, Clone)]
pub enum Literal {
    Int32(i32),
    Int64(i64),
    Uint32(u32),
    Uint64(u64),
    Float32(f32),
    Float64(f64),
    Str(String),
    Bool(bool),
    Unit,
}