| 1234567891011121314151617181920212223242526272829 |
- #lang racket
- (require racket/match)
- (define builtins
- `((car . ,car)
- (cdr . ,cdr)
- (cons . ,cons)
- (+ . ,+)
- (- . ,-)
- (* . ,*)
- (/ . ,/)))
- (define (i exp env)
- (match exp
- ((? number? n) n)
- ((? symbol? s)
- (cond ((assoc s env) => cdr)
- (else (error "unbound variable" s))))
- (`(lambda (,x) ,b)
- (lambda (y)
- (i b (cons (cons x y) env))))
- ((? list? l)
- (apply (i (car l) env) (map (lambda (exp) (i exp env)) (cdr l))))
- (else (error "unknown expression type" exp))))
- ;; > (i '(+ 7 (car (cons 3 5))) builtins)
- ;; 10
|
