Exercise 3 - Local definitionsExercisesExercise 1 - Leap yearsExercise 2 - Type inferenceDocumentation and user's manualTable of contentsOCaml programs

Exercise 2 - Type inference

The following expression is syntactically correct. It has a value. Write its type.

function (x, y) -> (if x then 2 + 3 else 0) 
                   + 
                   (let a = "false" and b = 13 in if y = a then 1 else b)


Latest update : October 5, 2006
This document was translated from LaTeX by Hyperlatex 2.5, which is not the latest version of Hyperlatex.

Exercise 3 - Local definitionsExercisesExercise 1 - Leap yearsExercise 2 - Type inferenceDocumentation and user's manualTable of contentsOCaml programs