8.14.900
Worksheet on Naming and Recursion
Start by copying all of the given code into a single DrRacket buffer. Make sure that you include the final require that actually invokes the inner module, and make sure that when you run the code you see the results computed by the expressions in the my-mod1 module.
Then, solve each exercise by adding code immediately after the commented exercise statement.
| #lang racket |
| ;; this code defines the sim-AAQV4 language as a module |
| (module sim-AAQZ4 racket |
| (provide |
| [rename-out (#%lam-app #%app) |
| (my-if if)] |
| else |
| #%module-begin |
| #%datum |
| + - * / = equal? <= => |
| true false |
| bind) |
| (require (for-syntax syntax/parse)) |
| (define-syntax (#%lam-app stx) |
| (syntax-case stx (=>) |
| [(_ (args ...) => body) |
| #'(lambda (args ...) body)] |
| [(_ e ...) |
| #'(#%app e ...)])) |
| ;; leaving it in just to have it here for next time: |
| (define-syntax (my-if stx) |
| (syntax-case stx (:) |
| [(_ e1 e2 e3) |
| #'(if e1 e2 e3)])) |
| (define-syntax (bind stx) |
| (syntax-parse stx |
| [((~literal bind) |
| (var:id (~literal =) rhs) ... |
| body:expr) |
| #'(let ([var rhs] ...) body)]))) |
| ;; this module uses the sim-AAQZ4 language. That is, its |
| ;; contents are written *in* the sim-AAQZ4 language. |
| ;; the only edits you should make are inside this module: |
| (module my-mod1 (submod ".." sim-AAQZ4) |
| 1234 |
| 4567 |
| {+ 4 5} |
| {if true 34 39} |
| {{(x y) => {+ x y}} 4 3} |
| {bind [z = {+ 9 14}] |
| [y = 98] |
| {+ z y}} |
| ;; exercise 0: Using the binding form, give the name |
| ;; `f` to the function that accepts an argument `x` and computes |
| ;; x^2 + 4x + 4. Apply `f` to seven. |
| ;; exercise 1: Use the trick discussed in class to define |
| ;; a `fact` function that computes the factorial of a given |
| ;; number. Use it to compute the factorial of 12. |
| ;; exercise 2: Define a 'pow' function that accepts a base |
| ;; and a (natural number) exponent, and computes the base to |
| ;; the power of the exponent. Don't worry about non-natural |
| ;; number exponents (6^1.5, 5^-4). |
| ;; exercise 3: use `fact` and `pow` to build a "sin" function |
| ;; that accepts a number x and a number of terms `n`, and computes |
| ;; (sin x) using `n` terms of the taylor expansion. (Note that |
| ;; this is a little ambigious; do zero-coefficient terms count? |
| ;; You can go either way on this.) Use this function to compute |
| ;; the sine of 1 radian to an error of no more than ten to the minus |
| ;; 30th. |
| ) |
| ;; this code actually invokes the 'my-mod1 module, so that the |
| ;; code runs. |
| (require 'my-mod1) |