Difference between revisions 126027373 and 127101307 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)
* char: caracteres del código ASCII. Por ejemplo: ‘a’ (comillas simples).
* string: cadenas de chars. Por ejemplo: “a” (comillas dobles). La cadena más simple es la vacía: “”.

Ocaml es '''fuertemente tipado''' es decir que toda expresión tiene un tipo único y sólo pueden aplicarse valores a funciones cuando el tipo del valor corresponde al tipo esperado por la función. Por ejemplo (+) es la función que suma dos enteros, mientras (+.) es la que 
que suma dos flotantes (en general los operadores entre enteros tienen una análogo para flotantes cuyo nombre termina con el carácter punto).

La ventaja de este tipado es la posibilidad de derivar automáticamente el tipo de expresiones (librando al programador de esa tarea). Por ejemplo una expresión como fun y -> y +. y es una función que recibe un flotante y retorna un flotante, lo derivamos sabiendo que (+.) recibe dos flotantes y retorna un flotante.

(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]]