s c h e m e w i k i . o r g

This Web

All Webs

Schematics

Offsite Links

(define-struct expr (srcloc)) (define-struct (id expr) (name)) (define-struct (lam expr) (arg body)) (define-struct (app expr) (rator rand))

;; incomplete evaluator (define (eval e r) ;; expr, environment (as alist) (match e [(? id? (app id-name name)) (cdr (assq name r))] [(? app? (app app-rand rand) (app app-rator (? lam? (app lam-arg arg) (app lam-body body)))) (eval body (cons (cons arg rand) r))]))