tinkering

Author: jsiek

dynamic-typing.rkt

@@ -270,31 +270,68 @@
     (define/public (cast-insert)
       (lambda (e)
         (match e
-          [(? integer?) `(inject ,e Integer)]
-          [(? symbol?) e]
-          [`(read) `(inject (read) Integer)]
-          [`(function-ref ,e ,n) `(inject (function-ref ,e) (,@(map (lambda (x) 'Any) (range n)) -> Any))]
-          [`(+ ,e1 ,e2) `(inject (+ (project ,((cast-insert) e1) Integer) (project ,((cast-insert) e2) Integer)) Integer)]
-          [`(- ,e) `(inject (- (project ,((cast-insert) e) Integer)) Integer)]
-          [`(let ([,x ,e1]) ,e2) `(let ([,x ,((cast-insert) e1)]) ,((cast-insert) e2))]
+          [(? integer?)
+	   `(inject ,e Integer)]
+          [(? symbol?)
+	   e]
+          [`(read) 
+	   `(inject (read) Integer)]
+          [`(function-ref ,e ,n)
+	   `(inject (function-ref ,e)
+		    (,@(map (lambda (x) 'Any) (range n)) -> Any))]
+          [`(+ ,e1 ,e2) 
+	   `(inject (+ (project ,((cast-insert) e1) Integer)
+		       (project ,((cast-insert) e2) Integer)) 
+		    Integer)]
+          [`(- ,e) 
+	   `(inject (- (project ,((cast-insert) e) Integer)) 
+		    Integer)]
+          [`(let ([,x ,e1]) ,e2)
+	   `(let ([,x ,((cast-insert) e1)]) 
+	      ,((cast-insert) e2))]
           [#t `(inject #t Boolean)]
           [#f `(inject #f Boolean)]
-          [`(and ,e1 ,e2) (let ([gen (gensym)])
-                            `(let ([,gen ,((cast-insert) e1)])
-                               (if (eq? ,gen (inject #f Boolean))
-                                   ,gen
-                                   ,((cast-insert) e2))))]
-          [`(not ,e) `(inject (not (project ,((cast-insert) e) Boolean)) Boolean)]
-          [`(eq? ,e1 ,e2) `(inject (eq? ,((cast-insert) e1),((cast-insert) e2)) Boolean)]
-          [`(if ,eq ,et ,ef) `(if (eq? ,((cast-insert) eq) (inject #f Boolean)) ,((cast-insert) ef) ,((cast-insert) et))]
-          [`(vector ,es ...) `(inject (vector ,@(map (cast-insert) es)) (Vector ,@(map (lambda (x) 'Any) es)))]
-          [`(vector-ref ,e1 ,n) `(vector-ref (project ,((cast-insert) e1) (Vectorof Any)) ,n)]
-          [`(vector-set! ,e1 ,n ,e2) `(inject (vector-set! (project ,((cast-insert) e1) (Vectorof Any)) ,n ,((cast-insert) e2)) Void)]
-          [`(void) `(inject (void) Void)] ; ???
-          [`(lambda (,xs ...) ,e) `(inject (lambda: (,@(map (lambda (x) `[,x : Any]) xs)) : Any ,((cast-insert) e)) (,@(map (lambda (x) 'Any) xs) -> Any))]
-          [`(app ,e ,es ...) `(app (project ,((cast-insert) e) (,@(map (lambda (x) 'Any) es) -> Any)) ,@(map (cast-insert) es))]
-          [`(define (,f ,xs ...) ,e) `(define (,f ,@(map (lambda (x) `[,x : Any]) xs)) : Any ,((cast-insert) e))]
-          [`(program ,ds ... ,e) `(program ,@(map (cast-insert) ds) ,((cast-insert) e))])))
+          [`(and ,e1 ,e2) 
+	   (let ([gen (gensym)])
+	     `(let ([,gen ,((cast-insert) e1)])
+		(if (eq? ,gen (inject #f Boolean))
+		    ,gen
+		    ,((cast-insert) e2))))]
+          [`(not ,e)
+	   `(inject (not (project ,((cast-insert) e) Boolean)) Boolean)]
+          [`(eq? ,e1 ,e2)
+	   `(inject (eq? ,((cast-insert) e1)
+			 ,((cast-insert) e2)) 
+		    Boolean)]
+          [`(if ,eq ,et ,ef)
+	   `(if (eq? ,((cast-insert) eq) (inject #f Boolean)) 
+		,((cast-insert) ef)
+		,((cast-insert) et))]
+          [`(vector ,es ...)
+	   `(inject (vector ,@(map (cast-insert) es))
+		    (Vector ,@(map (lambda (x) 'Any) es)))]
+          [`(vector-ref ,e1 ,e2)
+	   `(vector-ref (project ,((cast-insert) e1) (Vectorof Any)) 
+			(project ,((cast-insert) e2) Integer))]
+          [`(vector-set! ,e1 ,e2 ,e3)
+	   `(inject (vector-set! (project ,((cast-insert) e1) (Vectorof Any)) 
+				 (project ,((cast-insert) e2) Integer)
+				 ,((cast-insert) e3))
+		    Void)]
+          [`(void) `(inject (void) Void)]
+          [`(lambda (,xs ...) ,e) 
+	   `(inject (lambda: (,@(map (lambda (x) `[,x : Any]) xs)) : Any 
+			     ,((cast-insert) e))
+		    (,@(map (lambda (x) 'Any) xs) -> Any))]
+          [`(app ,e ,es ...)
+	   `(app (project ,((cast-insert) e)
+			  (,@(map (lambda (x) 'Any) es) -> Any))
+		 ,@(map (cast-insert) es))]
+          [`(define (,f ,xs ...) ,e)
+	   `(define (,f ,@(map (lambda (x) `[,x : Any]) xs)) : Any
+	      ,((cast-insert) e))]
+          [`(program ,ds ... ,e)
+	   `(program ,@(map (cast-insert) ds) ,((cast-insert) e))])))
 
 
 

functions.rkt

@@ -111,6 +111,8 @@
                 [else e])]
 	     [`(let ([,x ,e]) ,body)
 	      `(let ([,x ,(recur e)]) ,(recur body))]
+	     [`(void)
+	     `(void)]
 	     [#t #t]
 	     [#f #f]
 	     [`(if ,cnd ,thn ,els)

schedule.txt

@@ -33,8 +33,8 @@ April
 11 Lecture topic: tail call opt. (Michael)
 13 Lecture topic: set! (Chris)
 
-
-
+18 Lecture topic:
+20 Lecture topic:
 
 Student Projects