Yeah, don't get confused by the fact that there is an "O" in OCaml. This does not mean that you can write "imperative OCaml" the way you can use Scala as "shorter Java". "Imperative OCaml" is much closer to "imperative Haskell" without the monadic effect system.