{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# shw2 - that if a type error occurs then the variable...

This preview shows page 1. Sign up to view the full content.

Suggested Homework #2 (for Quiz #2 on 10/18/07) Problem 1: Suppose that the following list of bindings was entered into the OCaml interpreter in the sequence shown. For each binding, write down : (a) If the expression is accepted, the value bound ("fn" for functions) and its type, (b) If the expression is rejected due to a type error, "type error", (c) If the expression is rejected due to an unbound variable, the name of the variable that is not bound. Recall
This is the end of the preview. Sign up to access the rest of the document.

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 (x-2)) 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

{[ snackBarMessage ]}