for those who don't know, ocaml is the variant of caml programming language with object oriented features. caml is a dialect of the ml programming language family.
ocaml is strongly typed, cross - platform programming language which comes with an interpreter, a bytecode compiler, and an optimizing native code compiler. unlike most of the functional programming languages, ocaml is fast, very fast. there are some variants of ocaml such as jocaml which is for distributed programming, and f# is the .net language based on ocaml.
if you really interested in ocaml, there's a book written by jason hickey named "introduction to the objective caml programming language". draft can be downloaded from here.
here are the ocaml related websites i've found on the web.