OCaml
Lenguaje funcional con sistema de tipos avanzado
Tipado: static Creado: 1996
Paradigmas
functionalobject-orientedimperative
Ventajas y Desventajas
Ventajas
- + Sistema de tipos muy seguro
- + Compilación a código nativo rápido
- + Excelente para compiladores
- + Pattern matching potente
Desventajas
- - Sintaxis menos familiar
- - Comunidad más pequeña
- - Tooling puede ser complejo
- - Menos recursos de aprendizaje
Casos de Uso
- Trading de alta frecuencia (Jane Street)
- Compiladores y tools
- Análisis estático
- Verificación formal