OCaml

OCaml es un lenguaje funcional con un sistema de tipos potente e inferencia, que combina los paradigmas funcional, imperativo y orientado a objetos. Compila a código nativo muy eficiente y es muy valorado en compiladores, finanzas y verificación formal.

• Creado por Xavier Leroy (INRIA)
• Año 1996
• Paradigma: Funcional + imperativo · compilado
• Extensiones: .ml, .mli

Para qué se usa

• Compiladores
• Finanzas
• Verificación formal

A favor

• Sistema de tipos potente
• Rápido y seguro
• Inferencia de tipos

En contra

• Sintaxis peculiar
• Nicho
• Herramientas dispersas

Ecosistema

• Dune
• opam
• ReasonML
• Core
• Mirage

Ejemplo

let () = print_endline "¡Hola, mundo!"