• Autor de la entrada:
  • Tiempo de lectura:3 minutos de lectura

Hace 25 años, el 9 de Mayo de 1996, se anunció la versión 1.00 del lenguaje y sistema: Objective Caml: https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html 312.

Ocaml era la consolidación de muchos años de trabajo, integrando el trabajo de Xavier Leroy, Jérôme Vouillon y Didier Rémy sobre objetos y clases dentro de Caml Special Light. Conjunto a Damien Doligez, Ascánder Suárez y muchas personas más.

Pasaron muchas cosas durante este tiempo, incluidas varias evoluciones importantes del lenguaje y mucho más importante, el surgimiento de una comunidad de usuarios y un ecosistema de herramientas y bibliotecas.

¿Pero tal vez esto fue solo el comienzo de algo aún más grande? Ya veremos

¡Feliz cumpleaños, OCaml!

Firmado: Xavier Leroy. Fuente: Foro OCaml

¿Quién es Xavier Leroy?

Xavier Leroy (nacido el 15 de marzo de 1968) es un informático y programador francés. Más conocido por su papel como desarrollador principal del sistema OCaml. Es profesor de ciencia del software en el Collège de Francia.

Antes de su nombramiento en el Collège de Francia en 2018, fue científico senior en la institución de investigación del gobierno francés: Inria.

Leroy fue admitido en la Escuela Superior de París en 1987, donde estudió matemáticas e informática. De 1989 a 1992, Xavier realizó su doctorado en informática bajo la supervisión de Gérard Huet .

Es un experto reconocido internacionalmente en lenguajes de programación funcional y compiladores.

En los últimos años, se ha interesado por los métodos formales, las pruebas formales y la compilación certificada.

Líder del proyecto CompCert que desarrolla un compilador optimizador para C (lenguaje de programación) verificado formalmente en Coq.

Leroy también fue el autor original de LinuxThreads, el paquete de subprocesos más utilizado para las versiones de Linux anteriores a la 2.6.

Linux 2.6 introdujo NPTL con un soporte mucho más extenso del kernel para reemplazar LinuxThreads.

En 2015 fue nombrado miembro de la Association for Computing Machinery “por sus contribuciones a los lenguajes de programación y compiladores funcionales seguros y de alto rendimiento y a la verificación de compiladores”.

En 2016, fue galardonado con el premio Milner 2016 de la Sociedad Royal de Londres para la mejora del conocimiento natural.