Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Bezplatná
Rychlejší přístup než prohlížeči!
 

Standard ML

Index Standard ML

Standard ML (SML) je staticky orientovaný typově bezpečný univerzální programovací jazyk, který ztělesňuje mnoho nápadů v oblasti návrhů a implementace programovacích jazyků.

18 vztahy: Celé číslo, Datová struktura, Disjunktní sjednocení, Faktoriál, Funkce (programování), Funkcionální programování, Imperativní programování, Interpret (software), Knihovna (programování), Překladač, Programovací jazyk, Redundance, Rekurze (programování), Správa paměti, Strojový kód, Strukturované programování, Typová bezpečnost (programování), Výjimka (programování).

Celé číslo

Celá čísla se skládají z přirozených čísel (1, 2, 3, …), nuly (0) a záporných celých čísel (−1, −2, −3, …).

Nový!!: Standard ML a Celé číslo · Vidět víc »

Datová struktura

hašovací tabulky V matematické informatice a programování představuje datová struktura konkrétní způsob organizace dat v paměti počítače, který zajišťuje, aby mohla data být používána efektivně.

Nový!!: Standard ML a Datová struktura · Vidět víc »

Disjunktní sjednocení

Disjunktní sjednocení je množinová operace podobná sjednocení.

Nový!!: Standard ML a Disjunktní sjednocení · Vidět víc »

Faktoriál

V matematice je faktoriál čísla n (značeno pomocí vykřičníku: n!) číslo, rovné součinu všech kladných celých čísel menších nebo rovných n, pokud je n kladné, a rovno 1 pro n.

Nový!!: Standard ML a Faktoriál · Vidět víc »

Funkce (programování)

#PŘESMĚRUJ Podprogram.

Nový!!: Standard ML a Funkce (programování) · Vidět víc »

Funkcionální programování

Haskell. Funkcionální programování je deklarativní programovací paradigma, které chápe výpočet jako vyhodnocení matematických funkcí.

Nový!!: Standard ML a Funkcionální programování · Vidět víc »

Imperativní programování

Imperativní programování (též procedurální programování) je jedno z programovacích paradigmat, neboli způsobů, jak jsou v programovacím jazyku formulována řešení problémů.

Nový!!: Standard ML a Imperativní programování · Vidět víc »

Interpret (software)

Interpret je v informatice speciální počítačový program, který umožňuje přímo vykonávat (interpretovat) zápis jiného programu v jeho zdrojovém kódu ve zvoleném programovacím jazyce.

Nový!!: Standard ML a Interpret (software) · Vidět víc »

Knihovna (programování)

Knihovna je v informatice označení pro souhrn procedur a funkcí, často také konstant a datových typů (v objektovém programování též tříd, objektů a zdrojů), který může být využíván více počítačovými programy.

Nový!!: Standard ML a Knihovna (programování) · Vidět víc »

Překladač

Příklad struktury překladače podporujícího dva vstupní jazyky i dvě cílové architektury Překladač (též kompilátor, nebo také z – sestavit, zpracovat) je v nejčastějším smyslu slova softwarový nástroj používaný programátory pro vývoj softwaru.

Nový!!: Standard ML a Překladač · Vidět víc »

Programovací jazyk

Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.

Nový!!: Standard ML a Programovací jazyk · Vidět víc »

Redundance

Redundance (z lat. redundare, přetékat, přebývat) znamená informační nebo funkční nadbytek, například větší množství informace, prvků nebo zařízení, než je nezbytné.

Nový!!: Standard ML a Redundance · Vidět víc »

Rekurze (programování)

Rekurze je programovací technika, při níž je určitá procedura nebo funkce znovu volána dříve, než je dokončeno její předchozí volání.

Nový!!: Standard ML a Rekurze (programování) · Vidět víc »

Správa paměti

Správa paměti je v informatice soubor metod, které operační systém používá při přidělování operační paměti jednotlivým procesům, které jsou v počítači spuštěny.

Nový!!: Standard ML a Správa paměti · Vidět víc »

Strojový kód

Strojový kód je v informatice posloupnost strojových instrukcí prováděných procesorem počítače, která je zapsána pomocí posloupnosti číselných kódů těchto strojových instrukcí.

Nový!!: Standard ML a Strojový kód · Vidět víc »

Strukturované programování

Strukturované programování (též strukturovaný programovací jazyk) označuje v informatice programovací paradigma vyvinuté s cílem dosáhnout lepší srozumitelnosti, vyšší kvality a kratší doby vytváření programů skládáním implementovaného algoritmu z řídicích struktur s jedním vstupním a jedním výstupním bodem místo neomezeného používání skoků.

Nový!!: Standard ML a Strukturované programování · Vidět víc »

Typová bezpečnost (programování)

#PŘESMĚRUJ Typová kontrola.

Nový!!: Standard ML a Typová bezpečnost (programování) · Vidět víc »

Výjimka (programování)

Výjimka je v programování výjimečná situace, která může nastat za běhu programu.

Nový!!: Standard ML a Výjimka (programování) · Vidět víc »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »