This preview shows page 1. Sign up to view the full content.
Unformatted text preview: that if a type error occurs, then the variable binding does not happen. Check your answers by entering this sequence into the interpreter.  let a = let x = 20 in let y = let x = 5 in x + x in x + y ;; let b = let x = "ab" in let y = (let x = "cd" in x) ^ x in x ^ y ;; let c = let x = 22 in x::y ;; let rec f x = if x > 0 then x :: (f (x2)) else 0;; let g x = x * a;; let a = 1 ;; let f x = let a = 20 in a + (g x) ;; let z = (f 5) * a ;;...
View
Full
Document
This note was uploaded on 03/16/2010 for the course CSE 101 taught by Professor Staff during the Winter '08 term at UCSD.
 Winter '08
 staff

Click to edit the document details