Penn's second intro class is indeed in OCaml, mostly due to the effect it has of leveling the playing field. It really turned out quite well, and most of the students enjoy it.