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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
#ifndef BDL_OBJECTS_H
#define BDL_OBJECTS_H
#include "string_view.h"
#include "darray.h"
typedef enum ObjectType {
OBJ_TYPE_NIL,
OBJ_TYPE_TRUE,
OBJ_TYPE_FALSE,
OBJ_TYPE_FIXNUM,
OBJ_TYPE_SYMBOL,
OBJ_TYPE_STRING,
OBJ_TYPE_PAIR,
OBJ_TYPE_LAMBDA,
OBJ_TYPE_ERR,
} ObjectType;
struct Environment;
typedef struct Object {
ObjectType type;
bool marked;
union {
// OBJ_TYPE_FIXNUM
ssize_t fixnum;
// OBJ_TYPE_STRING
// OBJ_TYPE_SYMBOL
struct {
char *text;
};
// OBJ_TYPE_PAIR
// struct {
// struct Object *car;
// struct Object *cdr;
// };
// OBJ_TYPE_LAMBDA
// struct {
// struct Object *params;
// struct Object *body;
// struct Environment *env;
// };
};
} Object;
void display(Object obj);
// Value initialization.
#define NIL_VAL ((Object){.type = OBJ_TYPE_NIL})
#define TRUE_VAL ((Object){.type = OBJ_TYPE_TRUE})
#define FALSE_VAL ((Object){.type = OBJ_TYPE_FALSE})
#define FIXNUM_VAL(VAL) ((Object){.type = OBJ_TYPE_FIXNUM, .fixnum = VAL})
#define BOOL_VAL(VAL) ((VAL) ? TRUE_VAL : FALSE_VAL)
// Value extraction.
#define AS_FIXNUM(VAL) ((VAL).fixnum)
// Type checking.
#define IS_TRUE(VAL) ((VAL).type != OBJ_TYPE_FALSE)
#define IS_FALSE(VAL) ((VAL).type == OBJ_TYPE_FALSE)
#define IS_FIXNUM(VAL) ((VAL).type == OBJ_TYPE_FIXNUM)
#define IS_STRING(VAL) ((VAL).type == OBJ_TYPE_STRING)
#define IS_SYMBOL(VAL) ((VAL).type == OBJ_TYPE_SYMBOL)
Object make_string(StringView sv) {
Object obj = {
.type = OBJ_TYPE_STRING,
.text = NULL,
};
array_init(obj.text, sv.n);
array_insert(obj.text, sv.start, sv.n);
return obj;
}
Object make_symbol(StringView sv) {
Object obj = {
.type = OBJ_TYPE_SYMBOL,
.text = NULL,
};
array_init(obj.text, sv.n);
array_insert(obj.text, sv.start, sv.n);
return obj;
}
void
display(Object obj) {
switch (obj.type) {
case OBJ_TYPE_FIXNUM: {
printf("%zd", obj.fixnum);
} break;
case OBJ_TYPE_TRUE: {
printf("true");
} break;
case OBJ_TYPE_FALSE: {
printf("false");
} break;
case OBJ_TYPE_NIL: {
printf("()");
} break;
case OBJ_TYPE_STRING: {
printf("\"%.*s\"", (int)array_size(obj.text), obj.text);
} break;
case OBJ_TYPE_SYMBOL: {
printf(":%.*s", (int)array_size(obj.text), obj.text);
} break;
case OBJ_TYPE_PAIR: {
// printf("(");
// display_pair(obj);
// printf(")");
} break;
case OBJ_TYPE_LAMBDA: {
printf("#{procedure}");
} break;
case OBJ_TYPE_ERR: {
printf("#{error}");
} break;
}
return;
}
#endif // BDL_OBJECTS_H
|