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

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

View Full Document Right Arrow Icon
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
Background image of page 1
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

This note was uploaded on 03/16/2010 for the course CSE 101 taught by Professor Staff during the Winter '08 term at UCSD.

Ask a homework question - tutors are online