Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Caml
| Caml | ||
|---|---|---|
| Desarrollador(es) | ||
|
Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Caml pesado), Xavier Leroy (Caml Light, OCaml) http://caml.inria.fr | ||
| Información general | ||
| Paradigma | funcional, imperativa, orientada a objetos en OCaml | |
| Apareció en | 26 de julio de 2012 | |
| Diseñado por | Gérard Huet, Xavier Leroy | |
| Última versión estable | 4.02.3 (27 de julio de 2015) | |
| Sistema de tipos | fuerte, estático | |
| Implementaciones | OCaml, Caml Light | |
| Influido por | ML | |
| Ha influido a | F# | |
| Sistema operativo | Sistemas operativos basados en Unix (Linux, MacOSx) y Windows | |
| Licencia | GNU | |
Caml (Originalmente un acrónimo para Categorical Abstract Machine Language, en español Lenguaje Máquina Abstracto Categórico) es un dialecto de la familia del lenguaje ML, desarrollado en INRIA y anteriormente en la Escuela Normal Superior de París.
Como muchos descendientes de ML, Caml es un lenguaje de tipado estático, evaluación estricta, y utiliza administración de memoria automática.
La primera implementación de Caml en Lisp fue apodada "CAML pesado" debido a los requisitos de memoria y CPU relativos a su sucesor "Caml Light", aquello fue implementado en C por Xavier Leroy y Damien Doligez. Además de una reescritura completa, "CAML Special Light" añadió un potente sistema de módulos al núcleo del lenguaje.
Actualmente, la implementación principal de Caml es OCaml, el cual añade muchas características nuevas al lenguaje, entre ellas una capa de objeto.
Previous Page Next Page
