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.