Lab Quiz, Foundations of Computing, Week 4 (Thursday) -- Oct 19, 2000

1. For each expression, write down its type. Give the most specific type you can: for the expression 8, number is a better answer than word.

   1. x
      
      
   2. (x)
      
      
   3. '(x y z)
      
      
   4. 8
      
      
   5. +
      
      
   6. (+ 9 10)
      
      
   7. (lambda (x) (word 'super- x))
      
      

2. For each procedure, write down the types of its arguments and its result. Give the most specific types you can.

   1. +
      
      
   2. word
      
      
   3. sentence
      
      
   4. every
      
      

3. For each expression, write down whether it can be evaluated or not (do not write down the value).

   1. (+ 1 2)
      
      
   2. (+ 1 'two)
      
      
   3. (+ 1 (2))
      
      
   4. (word 1 2)
      
      
   5. (word 'super 'stitious)
      
      
   6. (word '(super stitious))
      
      
   7. (every 'super '(duper sonic))
      
      
   8. (every (lambda (x) (word 'super- x)) '(duper sonic))
      
      
   9. (every '(lambda (x) (word 'super- x)) '(duper sonic))