A brief introduction to OCaml