Why does Cambridge teach OCaml as the first programming language?

Frank Stajano Explains