-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathlisp.scm
141 lines (130 loc) · 4.32 KB
/
lisp.scm
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
(export (lisp))
(macro quote_internal (q env)
(cond (((not (is_list q)) q)
((= q ()) ())
((= unquote (car q))
(lisp2 (cdr q) env))
(true q))))
(macro
lisp2 (expr env)
(cond
(((is_number expr)
expr)
((is_atom expr)
(env expr))
((null? expr) ())
((is_number (car expr))
expr)
((null? (car expr))
(lisp2 (cdr expr) env))
((= (car expr) quote)
;(quote (cdr expr)))
(quote_internal (cdr expr) env))
((= (car expr) write)
(write (cdr expr)));
; (write (lisp2 (cdr expr) env)))
((= (car expr) if)
(cond (((lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env))
(true (lisp2 (car (cdr (cdr (cdr expr)))) env)))))
((= (car expr) <)
(< (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) >)
(> (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) =)
(= (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) and)
(and (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) or)
(or (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) not)
(not (lisp2 (car (cdr expr)) env)))
((= (car expr) reverse)
(reverse (lisp2 (car (cdr expr)) env)))
((= (car expr) ++)
(++ (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) cons)
(cons (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) car)
(car (lisp2 (car (cdr expr)) env)))
((= (car expr) cdr)
(cdr (lisp2 (car (cdr expr)) env)))
((= (car expr) /)
(/ (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) *)
(* (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) rem)
(rem (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) -)
(- (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) +)
(+ (lisp2 (car (cdr expr)) env)
(lisp2 (car (cdr (cdr expr))) env)))
((= (car expr) lambda)
(lambda (arg)
'(lisp2 (car (cdr (cdr expr)))
(lambda (y)
(cond (((eqs y (car (cdr expr)))
(car arg))
(true (env y))))))))
((is_list (car expr))
((lisp2 (car expr) env)
(lisp2 (cdr expr) env)))
(true (()
,(write '(undefined syntax))
,(write (car expr))
)))))
(macro lisp (expr)
(lisp2
expr
(lambda (error_var);(123))))
'(()
,(write '(undefined value))
,(write error_var)
;,(write expr)
))))
(macro test ()
'(()
;print statements
,(lisp '(write hello world))
;math
,(= 5 (lisp 5))
,(= 10 (lisp '(+ 4 6)))
;lists
,(= 80 (lisp '(car (80 9))))
,(= 9 (lisp '(car (cdr (80 9)))))
,(= 8 (lisp '(car (cons 8 ()))))
;functions
,(= 14 (lisp '((lambda z (+ z z)) 7)))
,(= 6 (lisp '((lambda Y (+ Y (* Y Y))) 2)))
;lexical context
,(= 20 (lisp '(((lambda Y (lambda Z (* Y Z))) 4) 5)))
;conditionals
,(= 2 (lisp '(if (= 3 3) 2 3)))
,(= 5 (lisp '(if (> 3 3) 2 5)))
;function with multiple inputs
,(= 11 (lisp '((lambda X (+ (car X)
(car (cdr X))))
(5 6))))
;producing code that runs at run-time using quote
,(! 5 Z)
,(lisp '('(+ (@ Z) 4)))
9 === tuck drop drop;we have to check if this is = to 9 at run-time.
;running code at compile-time inside of a quoted expression, using unquote.
,(lisp '('(+ (@ Z) ,(+ 2 2))))
9 === tuck drop drop
;combining all the passing tests into a single true value
and and and and and and and and and and and and
))
(test)