Caml

Caml
Sémantika Objektově orientovaný
Jazyková třída programovací jazyk
Objevil se v 1985
Autor INRIA
Vývojář INRIA
Uvolnění 3.11.2 (20.01.2010)
Typový systém přísný , statický
Hlavní implementace OCaml , Caml Light
Byl ovlivněn Standardní ML , F#
webová stránka caml.inria.fr

Caml  je objektově orientovaný programovací jazyk určený k vytváření bezpečnějších a zabezpečenějších programů. Caml je velmi blízko Standard ML , nebo přesněji, je to jeho dialekt , ale není zde úplná kompatibilita. Zkratka pochází z Categorical Abstract Machine Language (jazyk kategorického abstraktního stroje ). Samotný jazyk se velmi snadno učí při zachování vytříbené expresivity a přísnosti. Je povinným kurzem v některých vzdělávacích institucích informatiky .

Historie

Jazyk byl vyvinut v roce 1985 ve francouzském národním výzkumném ústavu INRIA . Existuje několik vývojů, zejména verze pro Windows , Linux a Mac OS .

Příklady programů

Zobrazení řádku textu na obrazovce

print_endline "Ahoj světe!" ;;

Faktorový , ve funkčním stylu:

nechť rec fact n = když n = 0 pak 1 jinak n * fakt ( n - 1 );;

Faktorový , pomocí shody vzorů :

nechť rec fact = funkce | 0 -> 1 | n -> n * skutečnost ( n - 1 );;

Viz také

Poznámky

Literatura

Odkazy