Good luck guys! MLWorks had quite a reputation at the beginning of the century, and both ML & OCaml have then been already acclaimed as industrial strength functional languages.