The BRENDA interpreter A interpreter for a subset of Dylan written in Dylan

What’s the point? Better understanding of how the language works Languages are not magic, just another program! You can change the language (we'll do so in PS6) see the environment model in action similar to the expression evaluator that we did in PS3, but more complex expressions (most of Dylan) You’ll see how garbage collection works

Interpreter “Walks over” a given high-level program and performs actions specified. Simpler, easier to understand and implement Compiler Translates high-level program to another program in the machine's native language (machine code). More efficient

Read-eval-print loop (define read-eval-print-loop (method () (bind ((raw (read)) (result (brenda-eval raw *brenda-global-environment*))) (print "Brenda? " raw) (print "Brenda==> " result) (read-eval-print-loop))))

Brenda-eval (define-generic-function brenda-eval ((obj ) (env ))) (add-method brenda-eval (method ((obj ) (env )) obj)) (add-method brenda-eval (method ((obj ) (env )) (lookup obj env)))

Brenda-eval (cont.) (add-method brenda-eval (method ((obj ) (env )) (brenda-apply (brenda-eval (head obj) env) (tail obj) env))) (define eval-sequence (method ((seq ) (env )) (cond ((null? seq) #f) ((null? (tail seq)) (brenda-eval (head seq) env)) (else: (brenda-eval (head seq) env) (eval-sequence (tail seq) env)))))

Brenda-apply (define-generic-function brenda-apply ((obj ) (args ) (env ))) (add-method brenda-apply (method ((obj ) (args ) (env )) (brenda-error "Apply : First element not a function.” obj)))

Brenda-apply for primitive functions (add-method brenda-apply (method ((obj ) (args ) (env )) (bind (((evaluated-args ) (map (method (x) (brenda-eval x env)) args))) (args-params-match? (params obj) evaluated-args) (apply (calls obj) evaluated-args)))

Brenda-apply for Brenda special forms (add-method brenda-apply (method ((obj ) (args ) (env )) ((calls obj) args env)))

Brenda-apply for user defined methods (add-method brenda-apply (method ((obj ) (args ) (e )) (bind (((evaluated-args ) (map (method (x) (brenda-eval x e)) args))) (args-params-match? (params obj) evaluated-args) (bind ((new-env (expand-environment (params obj) evaluated-args (env obj)))) (eval-sequence (body obj) new-env)))))

Bindings (define-class ( ) (variable ) (value )) (define make-brenda-binding (method ((var ) (val )) (make variable: var value: val)))

Environments (define-class ( )) (define-class ( ) (bindings ) (previous )) (define make-brenda-local-frame (method ((prev )) (make bindings: '() previous: prev)))

Expand an environment p = params a = arguments e = environment (define expand-environment (method ((p ) (a ) (e )) (bind (((e1 ) (make-brenda-local-frame e))) (set! (bindings e1) (map make-brenda-binding (map variable p) a)) e1)))