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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
|
(
(globals . (
(mac . [define mac
(litmac litfn () ((m . params) . body)
`(define ,m
(litmac litfn () ,params ,@body)))])
(def . [mac (def (name . params) . body)
`(define ,name (fn ,params ,@body))])
(do . [mac (do . body)
`((fn () ,@body))])
(let . [mac (let var val . body)
`((fn (,var) ,@body) ,val)])
(when . [mac (when cond . body)
`(if ,cond (do ,@body) ())])
(iflet . [mac (iflet var expr then else)
`(let ,var ,expr
(if ,var ,then ,else))])
(aif . [mac (aif expr then else)
`(iflet it ,expr ,then ,else)])
(list . [def (list . args)
# we should probably make a copy here
args])
(ret . [mac (ret var val . body)
`(let ,var ,val ,@body ,var)])
(len . [def (len l)
if (no l)
0
(1 + (len (cdr l)))])
(nth . [def (nth n xs)
if (n < 1)
(car xs)
(nth n-1 (cdr xs))])
(map1 . [def (map1 f xs)
if (no xs)
()
(cons (f (car xs))
(map1 f (cdr xs)))])
(compose . [def (compose f g)
(fn args
(f (apply g args)))])
(caar . [define caar (compose car car)])
(cadr . [define cadr (compose car cdr)])
(cddr . [define cddr (compose cdr cdr)])
(cdar . [define cdar (compose cdr car)])
(some . [def (some f xs)
if (no xs)
()
if (f (car xs))
xs
(some f (cdr xs))])
(any . [define any some])
(all . [def (all f xs)
if (no xs)
1
if (f (car xs))
(all f (cdr xs))
()])
(find . [def (find x xs)
if (no xs)
()
if (x = (car xs))
1
(find x (cdr xs))])
(pair . [def (pair xs)
if (no xs)
()
if (no (cdr xs))
(list (list (car xs)))
(cons (list (car xs) (cadr xs))
(pair (cddr xs)))])
(with . [mac (with bindings . body)
`((fn ,(map1 car (pair bindings))
,@body)
,@(map1 cadr (pair bindings)))])
(afn . [mac (afn params . body)
`(let self ()
(set self (fn ,params ,@body)))])
(seq . [def (seq n)
((afn (i)
(if (i > n)
()
(cons i (self i+1))))
1)])
(each . [mac (each x xs . body)
`(walk ,xs (fn (,x) ,@body))])
(walk . [def (walk xs f)
when xs
(f (car xs))
(walk (cdr xs) f)])
(rem . [def (rem f xs)
if (no xs)
()
let rest (rem f (cdr xs))
if (f (car xs))
rest
(cons (car xs) rest)])
(keep . [def (keep f xs)
if (no xs)
()
let rest (keep f (cdr xs))
if (f (car xs))
(cons (car xs) rest)
rest])
(alist? . [def (alist? x)
(and (cons? x)
(cons? (car x)))])
(assoc . [def (assoc alist key)
if (no alist)
()
if (key = (caar alist))
(car alist)
(assoc (cdr alist) key)])
(get . [def (get alist key)
aif (assoc alist key)
(cdr it)
()])
(++ . [mac (++ var) `(set ,var (,var + 1))])
(+= . [mac (var += inc)
`(set ,var (,var + ,inc))])
(for . [mac (for var init test update . body)
`(let ,var ,init
(while ,test
,@body
,update))])
(hborder . [def (hborder scr y color)
(hline scr y 0 (width scr) color)])
(vborder . [def (vborder scr x color)
(vline scr x 0 (height scr) color)])
(read_line . [def (read_line keyboard)
ret str (stream)
let c (key keyboard)
while (not (or (c = 0) (c = 10)))
(write str c)
(set c (key keyboard))])
(wait . [def (wait keyboard)
while (= 0 (key keyboard))
()])
(sq . [def (sq n) (n * n)])
(cube . [def (cube n) (n * n * n)])
(fill_rect . [def (fill_rect screen x1 y1 x2 y2 color)
for y y1 (y < y2) ++y
(hline screen y x1 x2 color)])
(ring . [def (ring screen cx cy r0 w clr)
for r r0 (r < r0+w) ++r
(circle screen cx cy r clr)])
(Greys . [define Greys
(map1 (fn(n) n+15)
(seq 16))])
(Pinks . [define Pinks '(84 85 59 60 61
13 36 37 5 108)])
(palette . [def (palette p i)
(nth (i % (len p)) p)])
(pat . [def (pat screen)
with (w (width screen)
h (height screen))
for y 0 (y < h) ++y
for x 0 (x < w) ++x
(pixel screen x y x*y)])
(main . [def (main screen keyboard)
(pat screen)])
))
(sandbox . [circle screen 35 35 14 3])
)
|