Ocaml es uno entre muchos lenguajes funcionales (como Lisp, Scheme, Haskell) que además de programación funcional pura, permite programar empleando características imperativas, algunas características propias de lenguajes ...