Difference between revisions 127101307 and 130567579 on eswiki

< previous diff
next diff >
Ocaml
El lenguaje '''Objective CAML''', también llamado '''Ocaml''' u '''O'Caml''', el nombre proviene de las siglas en inglés '''O'''bjective '''C'''ategorical '''A'''bstract '''M'''achine '''L'''anguage. Es un lenguaje de programación avanzado de la familia de los lengua(contracted; show full)
* Para bool: && (conjunción) || (disyunción)
* Para string: ^ (concatenación)

El motor de tipos de Ocaml infiere los tipos, y si un tipo es desconocido o no se puede inferir, lo representa como alfa, beta, etc. Dado que el compilador no puede mostrar letras griegas en pantalla, se referirá a ellas con la letra correspondiente precedida de un apóstrof
eo: ‘a, ‘b, ‘c, etc.

Por eso Ocaml es un lenguaje de programación funcional con cuatro características básicas:

Está fuertemente “tipado“: (Cualquier dato es de un tipo conocido).
El “tipaje” es estático :Todos los tipos existen. No se crean nuevos.
Las expresiones se evalúan de forma “eager” :(estricta o completa, es decir, se evalúan todas las entradas/salidas posibles)

(contracted; show full)
* [http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/index.html ''Développement d'applications avec Objective Caml''], libro en línea (en francés).
* [https://www.ecured.cu/Ocalm#Caracter.C3.ADsticas ''EcuRed - Ocalm'']

{{Control de autoridades}}
[[Categoría:Lenguajes de programación imperativa]]
[[Categoría:Lenguajes de programación orientada a objetos]]
[[Categoría:Programación funcional]]
[[Categoría:Software de 1996]]