Ocaml
OCaml (skrajšano iz Objective Caml, kar je angleški izraz za predmetni jezik vrste CAML) je splošni programski jezik iz družine programskih jezikov ML. Ustvarili so ga Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy in ostali leta 1996. OCaml je prosto programje, za katerega skrbi francoska raziskovalna ustanova INRIA.
OCaml ima lastnosti funkcijskih in ukaznih jezikov, tako kot vsi jeziki iz družine ML, poleg tega pa je tudi predmetno usmerjen. OCaml je prevajalnik s statičnimi tipi, z neučakano evaluacijo in z avtomatskim upravljanjem pomnilnika.
Osnovni OCaml je opremljen z naslednjimi orodji:
- interaktivna zanka, v kateri lahko neposredno izvajamo ukaze,
- prevajalnik v vmesno kodo (bytecode),
- prevajalnik z optimizacijo v strojno kodo,
- razhroščevalnik (debugger), v katerem lahko izvajamo program korakoma nazaj v času,
- standardna knjižnica podatkovnih struktur in ostalih dodatkov, primerljiva z osnovno knjižnico pythona ali perla,
- podpora za predmetno in modularno programiranje, ki omogoča pisanje velikih programskih projektov.
OCaml je naslednik Caml Light. Kratica CAML pomeni abstraktni strojni jezik s kategorijami (izvirno angleško Categorical Abstract Machine Language).
Primeri programov
Računanje Fibonaccijevih števil v programskem jeziku Objective Caml različice 3.08.3:
# 2 + 3 ;;
- : int = 5
# let rec fib = function
0 -> 1
| 1 -> 1
| n -> fib (n-1) + fib (n-2) ;;
val fib : int -> int = <fun>
# List.map fib [0;1;2;3;4;5;6;7;8;9;10] ;;
- : int list = [1; 1; 2; 3; 5; 8; 13; 21; 34; 55; 89]
Zunanje povezave
- The Caml Language - uradna stran
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.
