3
OCaml es un lenguaje de programación de fuerza industrial que admite estilos funcionales, imperativos y orientados a objetos.
ocaml
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