Sysop: Nahrazení textu „Apple“ textem „Apple“

2024-05-31T22:16:05Z

Nahrazení textu „Apple“ textem „Apple“

← Starší verze		Verze z 31. 5. 2024, 22:16
Řádka 18:		Řádka 18:
	* Profilování - pro měření výkonnosti		* Profilování - pro měření výkonnosti

-	Kompilátor nativního kódu je dostupný pro mnohé platformy, včetně [[Unix]], [[Microsoft Windows]], a [[Apple]] [[Mac OS X]].	+	Kompilátor nativního kódu je dostupný pro mnohé platformy, včetně [[Unix]], [[Microsoft Windows]], a Apple [[Mac OS X]].

	OCaml bytecode a nativní kód programu může být napsán ve vláknech. Nicméně garbage kolektor není navržen pro běh ve vláknech, [[Symmetric multiprocessing\|symetrický multiprocessing]] není podporován.		OCaml bytecode a nativní kód programu může být napsán ve vláknech. Nicméně garbage kolektor není navržen pro běh ve vláknech, [[Symmetric multiprocessing\|symetrický multiprocessing]] není podporován.

Sysop: 1 revizi

2013-07-16T20:53:11Z

1 revizi

← Starší verze

Verze z 16. 7. 2013, 20:53

Sysop: 1 revizi

2010-10-21T17:20:25Z

1 revizi

Nová stránka

'''OCaml''' je v [[Informatika (počítačová věda)|informatice]] implementace [[programovací jazyk|programovacího jazyka]] [[Caml]], která byla rozšířena o [[objektově orientované programování|objektově orientované]] konstrukce. OCaml je sada nástrojů obsahující [[Interpret (software)|interpret]], [[překladač]] do [[bytecode]] i překladač do [[Strojový kód|strojového kódu]], který provádí [[Optimalizace (informatika)|optimalizace]]. Obsahuje rozsáhlou [[Knihovna (programování)|knihovnu funkcí]], což v něm umožňuje dělat aplikace takové jako v [[Python]] nebo [[Perl]].

Jazyk vytvořili v roce 1996 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy a další jako [[Open source software|open source]] projekt, který je dále spravován institucí [[Institut National de Recherche en Informatique et en Automatique|INRIA]].

== Základní principy ==
Programovací jazyky odvozené od ML jsou známé pro jejich staticky orientované typové systémy a typově usuzující kompilátory. OCaml sjednocuje pod ML typově orientované systémy [[Funkcionální programování|funkcionální]], [[Imperativní programování|imperativní]] a [[objektově orientované programování]].

OCaml, jakožto staticky orientovaný typový systém, eliminuje velké množství programátorských chyb, které se mohou objevovat až při běhu programu. Nutí programátora brát ohled na omezení typově orientovaného systému. Typově usuzující kompilátor značně redukuje potřebu deklarace datového typu (obvykle není potřeba deklarace proměnných jako je to u jiných programovacích jazyků, například v jazyce [[Java (programovací jazyk)|Java]]).

OCaml je možná nejvýznamnější z vedlejších programovacích jazyků vzniklých na akademické půdě, s ohledem na výkonnost. Díky tomu, že je to staticky orientovaný typový systém, není možný výskyt typových chyb za běhu. Další vyhodou je, že zabraňuje typování za běhu programu, které snižuje výkonnost dynamických jazyků, přičemž je stále zaručen bezpečný chod programu.

== Vlastnosti ==
OCaml distribuce obsahuje:
* Rozšířitelný parser a makro jazyk jménem [[Camlp4]], který umožňuje OCaml syntaxi rozšířit nebo dokonce nahradit
* Scanner a parser nástroje nazvané ocamllex a ocamlyacc
* [[Debugger]], který podporuje zpětné krokování pro zkoumání chyb
* Generátor dokumentace
* Profilování - pro měření výkonnosti

Kompilátor nativního kódu je dostupný pro mnohé platformy, včetně [[Unix]], [[Microsoft Windows]], a [[Apple]] [[Mac OS X]].

OCaml bytecode a nativní kód programu může být napsán ve vláknech. Nicméně garbage kolektor není navržen pro běh ve vláknech, [[Symmetric multiprocessing|symetrický multiprocessing]] není podporován.

== Ukázky kódu ==
Základní příkaz "ocalm" vypíše verzi programu:

$ ocaml
Objective Caml version 3.09.0

#

Kód může být zapsán na "#" řádku. Například pro výpočet 1 + 2 * 3:

# 1 + 2 * 3;
- : int = 7

OCaml odvozuje datový typ z výrazu jako "int" (integer) a vrací výsledek "7".

=== Ahoj světe ===
Následující program "bonjour.ml":

<source lang="ocaml">
print_endline "Bonjour Monde!";;
</source>

může být zkompilován do bytecodu:

$ ocamlc bonjour.ml -o bonjour

a spuštěn:

$ ./bonjour
Bonjour Monde!
$

=== Součet seznamu integerů ===
Seznam je jeden z nejzákladnějších datových typů v OCaml. Následující příklad sčítá seznam integerů.

<source lang="ocaml">
let rec sum xs =
match xs with
| [] -> 0
| x :: xs' -> x + sum xs'
</source>

# sum [1;2;3;4;5];;
- : int = 15

=== Quicksort ===
OCaml má výstižné výrazy rekurzivních algoritmů. Následující příklad implementuje [[quicksort]] algoritmus pro třídění seznamu vzestupně.

<source lang="ocaml">
let rec quicksort = function
| [] -> []
| pivot :: rest ->
let is_less x = x < pivot in
let left, right = List.partition is_less rest in
quicksort left @ [pivot] @ quicksort right
</source>

¨
{{Článek z Wikipedie}}
[[Kategorie:Počítačové jazyky]]
[[Kategorie:Objektově orientované programování]]

OCaml - Historie editací

Sysop: Nahrazení textu „Apple“ textem „Apple“

Sysop: 1 revizi

Sysop: 1 revizi