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
|
#ifndef LISP_H
#define LISP_H
typedef struct value value;
typedef struct env env;
typedef enum {
VT_INT,
VT_DOUBLE,
VT_SYMBOL,
VT_STRING,
VT_NIL,
VT_PAIR,
VT_LAMBDA,
VT_BUILTIN
} val_type;
struct value {
val_type type;
union {
int i;
double d;
const char *sym;
const char *str;
struct {
value *car;
value *cdr;
} pair;
struct {
value *params;
value *body;
env *env;
} lambda;
struct {
value *(*fn) (env *, value *);
} builtin;
} as;
};
value *make_int(int i);
value *make_double(double d);
value *make_symbol(const char *sym);
value *make_string(const char *str);
value *make_nil();
value *make_lambda(env *e, value *params, value *body);
value *make_builtin(value *(*fn) (env *, value *));
value *cons(value *car, value *cdr);
value *car(value *cons);
value *cdr(value *cons);
value *reverse(value *list);
void print_value(value *val);
void println_value(value *val);
// environments, TODO: make this use hashtable
// symbol->val
typedef struct env {
const char *symbol;
value *value;
env *next;
env *parent;
} env;
env *env_create(env *parent);
env *env_define(env *e, const char *sym, value *val);
value *env_lookup(env *e, const char *sym);
extern env *global_env;
value *eval(env *e, value *val);
value *eval_pair(env *e, value *val);
value *apply(value *lambda, value *args);
value *builtin_cons(env *e, value *args);
value *builtin_car(env *e, value *args);
value *builtin_cdr(env *e, value *args);
value *builtin_reverse(env *e, value *args);
value *builtin_isnull(env *e, value *args);
value *builtin_equal(env *e, value *args);
value *builtin_add(env *e, value *args);
value *builtin_sub(env *e, value *args);
value *builtin_mul(env *e, value *args);
value *builtin_div(env *e, value *args);
value *builtin_lt(env *e, value *args);
int is_integer(double x);
#endif
|
