
3
OCaml es un lenguaje de programación de fuerza industrial que admite estilos funcionales, imperativos y orientados a objetos.
Sitio web:
http://www.ocaml.orgCaracteristicas
Categorias
Alternativas a OCaml para Linux

278
C (programming language)
C es un lenguaje de programación de computadora de uso general.C es uno de los lenguajes de programación más utilizados de todos los tiempos.

266

71

61

53

51
D (Programming Language)
D es un lenguaje con sintaxis tipo C y escritura estática.Combina pragmáticamente la eficiencia, el control y la potencia de modelado, con la seguridad y la productividad del programador.

28

23

17
F# (programming language)
F # es un lenguaje funcional y orientado a objetos sucinto, expresivo y eficiente para .NET que le ayuda a escribir código simple para resolver problemas complejos.

6

3
F*
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.

2

1

1