O'caml es un lenguaje que ha cobrado bastante opularidad ultimamente, es un lenguaje hibrido que permite programacion funcional y procedural. Tiene orientacion a objetos, y puede correrse en forma interpretada o compilarse para las principales plataformas. Una mezcla de C, Java, ML, Lisp y varios lenguajes mas. (sigue...)