#lang racket

;; this code defines the sim-OAZO5 language as a module

(module sim-OAZO5 racket

(provide

[rename-out (#%lam-app #%app)

(my-if if)]

else

#%module-begin

#%datum

+ - * / = equal? <= =>

true false)

(define-syntax (#%lam-app stx)

(syntax-case stx (anon)

[(_ anon (args ...) : body)

#'(lambda (args ...) body)]

[(_ e ...)

#'(#%app e ...)]))

(define-syntax (my-if stx)

(syntax-case stx (then else)

[(_ e1 then e2 else e3)

#'(if e1 e2 e3)])))

;; this module uses the sim-OAZO5 language. That is, its

;; contents are written *in* the sim-OAZO5 language.

;; the only edits you should make are inside this module:

(module my-mod1 (submod ".." sim-OAZO5)

1234

4567

{+ 4 5}

{if true then 34 else 39}

{{anon {x y} : {+ x y}} 4 3}

;; exercise 0: write a function that adds one to a number.

;; exercise 1: combining the definition and application forms,

;; apply the function that adds one to a number to the number 17.

;; thought exercise: does running this program "give a name to a value" anywhere?

;; if so, what name and what value?

;; exercise 2: write a function that accepts a function 'h' and applies

;; it to 8.

;; exercise 3: combining the definition and application forms,

;; apply the function that applies its argument to 8 to the function

;; that adds one to a number.

;; thought exercise: does running this program "give a name to a value"

;; anywhere? if so, what name(s) and what value(s)?

;; exercise 4 (a bit harder): write a function that performs function composition:

;; that is, it accepts functions named 'f' and 'g' and returns a new

;; function of one argument that applies first 'g' and then 'f' to its

;; argument

;; exercise 5 (harder): Write a program that gives the name "compose" to

;; the function defined in the previous exercise, gives the name "add1" to

;; the function that adds one, and then gives the name "add2" to the composition

;; of add1 and add1, and finally applies this add2 function to 99.

)

;; this code actually invokes the 'my-mod1 module, so that the

;; code runs.

(require 'my-mod1)