Introducción a oCaml

Como comenté en la anterior entrada voy a emplear el lenguaje oCaml para el estudio de la programación funcional, imperativa y la orienta a objetos. Antes de ver las principales característcas deeste lenguaje voy a dejar 3 enlaces de interés:

Página oficial de los desarrolladores: Inria
Documentación oficial ocaml.
Libro oficial oCaml

Al ser oCaml un lenguaje bastante nuevo,poco conocido y estar la documentación en inglés, en este y el resto de entradas al blog serán una mezcla entre una traducción resumida del libro oficial, ejemplos propios y algunas prácticareailzadas en la asignatura de Paradigmas de Programación en la FIC (Facultad de Informática de la Coruña).
Descripción del lenguaje oCaml

oCaml es un lenguaje funcional. Manipula las funciones comovalores en el lenguaje. De este modo se pueden pasar funciones como argumentos a otras funciones o incluso ser retornadas como resultados de una llamada a función.

oCaml posee tipado estático. Laverificación de la compatibilidad entre tipos se lleva a cabo durante tiempo de compilación. De este modo no será necesaria dicha comprobación en tiempo de ejecución, lo que incrementa la eficiencia. Ademásde este modo se evitan los errores tipográficos y se contribuye a la ejecución segura.

oCaml tiene polimorfismo paramétrico. Cuando una función no informa totalmente de la estructura/tipo de unode sus argumentos, este argumento no estará totalmente definido. En este caso el parámetro se dice polimórfico. De este modo podremos desarrollar código genérico que se podrá usar con diferentes tiposde estructuras de datos de modo que la representación exacta de esta estructura no es necesaria saberla por el código en cuestión.

oCaml posee inferencia de tipos. El programador no necesita darningún tipo de información al programa. Es el lenguaje el único a cargo de deducir desde el código los tipos de las expresiones y declaraciones que possee. Esta inferencia se lleva a cabo a la vez que...