Caml

Caml
Semantik Objektorienteret
Sprog klasse programmeringssprog
Dukkede op i 1985
Forfatter INRIA
Udvikler INRIA
Frigøre 3.11.2 (20.01.2010)
Type system streng , statisk
Større implementeringer OCaml , Caml Light
Blev påvirket Standard ML , F#
Internet side caml.inria.fr

Caml  er et objektorienteret programmeringssprog designet til at skabe sikrere og mere sikre programmer. Caml er meget tæt på Standard ML , eller for at være mere præcis, det er dens dialekt , men der er ingen fuld kompatibilitet. Forkortelsen kommer fra Categorical Abstract Machine Language (sproget i den kategoriske abstrakte maskine ). Sproget i sig selv er meget nemt at lære, samtidig med at det bevarer en raffineret udtryksevne og stringens. Det er et obligatorisk kursus i nogle uddannelsesinstitutioner i datalogi .

Historie

Sproget blev udviklet i 1985 på det franske nationale forskningsinstitut INRIA . Der findes flere udviklinger, især versioner til Windows , Linux og Mac OS .

Programeksempler

Viser en tekstlinje på skærmen

print_endline "Hej verden!" ;;

Faktoriel , i funktionel stil:

lad rec fact n = hvis n = 0 1 else n * fact ( n - 1 );;

Faktoriel , ved hjælp af mønstermatchning :

lad rec fact = funktion | 0 -> 1 | n -> n * faktum ( n - 1 );;

Se også

Noter

Litteratur

Links