OCaml

OCaml is a functional language with a powerful type system and inference, combining functional, imperative and object-oriented paradigms. It compiles to very efficient native code and is highly valued in compilers, finance and formal verification.

• Creado por Xavier Leroy (INRIA)
• Año 1996
• Paradigma: Functional + imperative · compiled
• Extensiones: .ml, .mli

Para qué se usa

• Compilers
• Finance
• Formal verification

A favor

• Powerful type system
• Fast and safe
• Type inference

En contra

• Quirky syntax
• Niche
• Scattered tooling

Ecosistema

• Dune
• opam
• ReasonML
• Core
• Mirage

Ejemplo

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