Itty Bitty Programming Language Assignment

Credit

This assignment is based on MUPL by Dan Grossman and his team at UW.

Code To Investigate

Ast

(struct IdentifierExp (name)                                           #:transparent)
(struct IntExp        (value)                                          #:transparent)
(struct AddExp        (left_exp right_exp)                             #:transparent)
(struct IfGreaterExp  (left_exp right_exp then_body_exp else_body_exp) #:transparent)
(struct NilExp        ()                                               #:transparent)
(struct IsNilExp      (exp)                                            #:transparent)
(struct ConsExp       (car_exp cdr_exp)                                #:transparent)
(struct CarOfConsExp  (cons_exp)                                       #:transparent)
(struct CdrOfConsExp  (cons_exp)                                       #:transparent)
(struct LetExp        (binding_name binding_exp body_exp)              #:transparent)
(struct FunctionExp   (name_option parameter_name body_exp)            #:transparent)
(struct CallExp       (function_exp argument_exp)                      #:transparent)

Code To Implement

Warmup

file:	src/main/racket/ibpl/warmup.rkt
functions:	racket-integers->ibpl-IntExps ibpl-IntExps->racket-integers

Eval

file:	src/main/racket/ibpl/eval.rkt
functions:	value? ensure-value? expand-environment eval-under-env

(struct closure (env function) #:transparent)

value?

IBPL expressions evaluate to Racket values. value? determines if the paramater v is a valid value.

Valid value types are cons cells, integers, closures, and the null empty list.

For a cons cell to be a valid value, its car and cdr must be valid values.

ensure-value?

(define (ensure-value? v)
  (if (value? v)
      v
      (error (string-append "not a value: " (~a v)))))

lookup-value-in-environment

(struct entry (name value) #:transparent)

(define (lookup-value-in-environment env identifier-name)
  (cond [(null? env) (error "unbound identifier during evaluation" identifier-name)]
        [(equal? (entry-name (car env)) identifier-name) (entry-value (car env))]
        [#t (lookup-value-in-environment (cdr env) identifier-name)]))

eval-exp

(define (eval-exp e)
  (eval-under-env e null))

Macros

IbLet*

(struct binding (name exp) #:transparent)