97 vztahy: Abstrakce, Abstraktní datový typ, ActionScript, Ada (programovací jazyk), Adresa (programování), APL, AppleScript, Aritmetika, Asociativní pole, Bit, Boolean, C (programovací jazyk), C Sharp, C++, Celé číslo, Clojure, Common Lisp, D (programovací jazyk), Datový typ, Dělení nulou, Dereference, Disjunktní sjednocení, Duck-typing, Dynamický programovací jazyk, Eiffel (programovací jazyk), Elektronická paměť, Empirie, Erlang (programovací jazyk), F Sharp, Fortran, Generické programování, GNU Octave, Go (programovací jazyk), Groovy, Haskell (programovací jazyk), IEEE 754, Informatika, Introspekce, Java (programovací jazyk), JavaScript, Johann Friedrich Kind, Kompilace, Ladění, Lambda kalkul, Lineární logika, Lisp, Lua, MATLAB, Metaprogramování, Metoda, ..., Microsoft, Modul, Objective-C, Objekt (informatika), OCaml, Operand, Optimalizace (informatika), Pascal (programovací jazyk), Překladač, Přetěžování, Perl, PHP, Počítač, Podtyp, Pohyblivá řádová čárka, Pole (datová struktura), Polymorfismus, Polymorfismus (programování), Presburgerova aritmetika, Programátorská chyba, Programovací jazyk, Prolog (programovací jazyk), Proměnná, Provázanost, Python, Referenční průhlednost, Rozhodnutelnost, Rozhraní (informatika), Ruby, Scala (programovací jazyk), Smalltalk, Strojová instrukce, Styl zápisu programu, Syntax, Třída, Tcl, Teorie typů, Testování softwaru, Textový řetězec, Typová bezpečnost (programování), Typová inference, Typová kontrola, Výraz (programování), Visual Basic, Závislostní typ, Znak (počítače), 32bitový. Rozbalte index (47 více) »
Abstrakce
mentálních modelů je první předpoklad k racionálnímu myšlení. Abstrakce (z lat. abs-trahere, odtáhnout, odvléci, oddělit) ve filozofii označuje buď důležitý moment procesu poznání při přechodu od smyslového k racionálnímu poznání, nebo jako hotový výsledek tohoto procesu.
Nový!!: Typový systém a Abstrakce · Vidět víc »
Abstraktní datový typ
Abstraktní datový typ (ADT) je v informatice výraz pro typy dat, které jsou nezávislé na vlastní implementaci.
Nový!!: Typový systém a Abstraktní datový typ · Vidět víc »
ActionScript
ActionScript (zkratka AS) je objektově orientovaný programovací jazyk pro aplikace vyvíjené pomocí Adobe Flash, případně dalších vývojářských nástrojů, využívajících stejného datového formátu.
Nový!!: Typový systém a ActionScript · Vidět víc »
Ada (programovací jazyk)
Ada je robustní staticky typovaný programovací jazyk vyvinutý v 70. letech na objednávku amerického ministerstva obrany.
Nový!!: Typový systém a Ada (programovací jazyk) · Vidět víc »
Adresa (programování)
#PŘESMĚRUJ Adresa (informatika).
Nový!!: Typový systém a Adresa (programování) · Vidět víc »
APL
APL nebo apl může být.
Nový!!: Typový systém a APL · Vidět víc »
AppleScript
AppleScript (výslovnost) je skriptovací jazyk, který vyvinula firma Apple Inc., a zakomponovala do svých operačních systémů Mac OS počínaje Systémem 7 a používá se i v aktuálních verzích systému.
Nový!!: Typový systém a AppleScript · Vidět víc »
Aritmetika
Aritmetika (starořečtina ἀριθμητική, arithmētikḗ - z ἀριθμός, arithmós „číslo“) je obor matematiky, který studuje čísla, jejich vztahy a vlastnosti.
Nový!!: Typový systém a Aritmetika · Vidět víc »
Asociativní pole
Asociativní pole (slangově podle nejčastější implementace, v některých jazycích slovník,, též) je datová struktura složená z dvojic klíč-hodnota.
Nový!!: Typový systém a Asociativní pole · Vidět víc »
Bit
Bit (z anglického binary digit – dvojková číslice; angl. bit.
Nový!!: Typový systém a Bit · Vidět víc »
Boolean
Boolean je v informatice datový typ určený pro reprezentaci pravdivostních hodnot pravda (true) a nepravda (false).
Nový!!: Typový systém a Boolean · Vidět víc »
C (programovací jazyk)
Ken Thompson a Dennis Ritchie C je programovací jazyk, který počátkem 70. let 20. století vyvinuli Ken Thompson a Dennis Ritchie pro potřeby operačního systému Unix.
Nový!!: Typový systém a C (programovací jazyk) · Vidět víc »
C Sharp
C# (zpravidla vyslovováno anglicky jako C Sharp, /siː šaːp/, což je anglické označení noty cis, tedy zvýšeného c) je vysokoúrovňový objektově orientovaný programovací jazyk vyvinutý firmou Microsoft zároveň s platformou.NET Framework, později schválený standardizačními komisemi ECMA (ECMA-334) a ISO (ISO/IEC 23270).
Nový!!: Typový systém a C Sharp · Vidět víc »
C++
C++ je multiparadigmatický programovací jazyk, který vyvinul Bjarne Stroustrup a další v Bellových laboratořích AT&T rozšířením jazyka C. C++ podporuje několik programovacích stylů (paradigmat) jako je procedurální programování, objektově orientované programování a generické programování, není tedy jazykem čistě objektovým.
Nový!!: Typový systém a C++ · Vidět víc »
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ý!!: Typový systém a Celé číslo · Vidět víc »
Clojure
Clojure (výslovnost) je v informatice moderní dialekt programovacího jazyka Lisp.
Nový!!: Typový systém a Clojure · Vidět víc »
Common Lisp
Common Lisp je v informatice rozšíření funkcionálního programovacího jazyka Lisp, který je zveřejněn v ANSI (American National Standards Institute).
Nový!!: Typový systém a Common Lisp · Vidět víc »
D (programovací jazyk)
D je multiparadigmatický, aspektově a objektově orientovaný, imperativní a systémový programovací jazyk.
Nový!!: Typový systém a D (programovací jazyk) · Vidět víc »
Datový typ
Datový typ definuje v programování druh nebo význam hodnot, kterých smí nabývat proměnná (nebo konstanta).
Nový!!: Typový systém a Datový typ · Vidět víc »
Dělení nulou
Dělení nulou je v matematice takové dělení, při němž je dělitel nula.
Nový!!: Typový systém a Dělení nulou · Vidět víc »
Dereference
Dereference je v programování operace, kterou se získává přístup k proměnné, na níž se odkazuje ukazatel nebo reference.
Nový!!: Typový systém a Dereference · Vidět víc »
Disjunktní sjednocení
Disjunktní sjednocení je množinová operace podobná sjednocení.
Nový!!: Typový systém a Disjunktní sjednocení · Vidět víc »
Duck-typing
Duck-typing (anglická výslovnost, česky kachní typování) je způsob dynamického typování, kdy se posuzuje objekt nikoli z hlediska jím deklarovaných předků nebo implementovaných rozhraní, ale jen na základě jeho metod.
Nový!!: Typový systém a Duck-typing · Vidět víc »
Dynamický programovací jazyk
Dynamický programovací jazyk je termín používaný v informatice popisující třídu vyšších programovacích jazyků, který v běhu vykonává spoustu běžných operací, jako statické programovací jazyky provádí během kompilace.
Nový!!: Typový systém a Dynamický programovací jazyk · Vidět víc »
Eiffel (programovací jazyk)
Eiffel je v informatice název pro objektově orientovaný programovací jazyk standardizovaný podle mezinárodní normy ISO.
Nový!!: Typový systém a Eiffel (programovací jazyk) · Vidět víc »
Elektronická paměť
osobním počítači Elektronická paměť je součástka, zařízení nebo materiál, který umožní uložit obsah informace (zápis do paměti), uchovat ji po požadovanou dobu a znovu ji získat pro další použití (čtení paměti).
Nový!!: Typový systém a Elektronická paměť · Vidět víc »
Empirie
Empirie (z řec. empeiros, zkušený) je zkušenost získaná pozorováním, případně pokusem (experimentem).
Nový!!: Typový systém a Empirie · Vidět víc »
Erlang (programovací jazyk)
LYME je založena na '''Erlang''' a poskytuje alternativu k LAMP Erlang je multiparadigmatický programovací jazyk, specializovaný pro tvorbu distribuovaných, vysoce dostupných aplikací, odolných proti selhání.
Nový!!: Typový systém a Erlang (programovací jazyk) · Vidět víc »
F Sharp
F# (vyslovované anglicky jako F Sharp, /ef ʃɑɹp/, doslova to označuje notu fis) je multiparadigmatický programovací jazyk pro.NET spojující funkcionální přístup s imperativním objektově orientovaným přístupem.
Nový!!: Typový systém a F Sharp · Vidět víc »
Fortran
Fortran (akronymická zkratka z anglického FORmula a TRANslator – překladač vzorců) je v informatice imperativní programovací jazyk, který v 50. letech 20. století navrhla firma IBM pro vědecké výpočty a numerické aplikace.
Nový!!: Typový systém a Fortran · Vidět víc »
Generické programování
Základní myšlenkou, která se skrývá za pojmem generické programování, je rozdělení kódu programu na algoritmus a datové typy takovým způsobem, aby bylo možné zápis kódu algoritmu chápat jako obecný, bez ohledu nad jakými datovými typy pracuje.
Nový!!: Typový systém a Generické programování · Vidět víc »
GNU Octave
Octave je svobodný software pro provádění číselných výpočtů šířený pod licencí GPL.
Nový!!: Typový systém a GNU Octave · Vidět víc »
Go (programovací jazyk)
Go je kompilovaný multiparadigmatický programovací jazyk vytvořený v Google Inc. v roce 2007.
Nový!!: Typový systém a Go (programovací jazyk) · Vidět víc »
Groovy
Groovy (anglická výslovnost) je objektově orientovaný programovací jazyk pro platformu Java.
Nový!!: Typový systém a Groovy · Vidět víc »
Haskell (programovací jazyk)
Haskell je standardizovaný funkcionální programovací jazyk používající líné vyhodnocování, pojmenovaný na počest logika Haskella Curryho.
Nový!!: Typový systém a Haskell (programovací jazyk) · Vidět víc »
IEEE 754
IEEE 754 (známý také jako IEC 60559, případně IEC 559) neboli Standard IEEE pro dvojkovou aritmetiku v pohyblivé řádové čárce (někdy též nesprávně v plovoucí desetinné čárce) je nejrozšířenější standard pro výpočty v pohyblivé řádové čárce, který používá mnoho mikroprocesorů a jednotek FPU.
Nový!!: Typový systém a IEEE 754 · Vidět víc »
Informatika
Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.
Nový!!: Typový systém a Informatika · Vidět víc »
Introspekce
Introspekci, neboli metodu zkoumání toho, co probíhá v mysli (vědomí), navrhuje jako první anglický myslitel John Locke (1632-1704).
Nový!!: Typový systém a Introspekce · Vidět víc »
Java (programovací jazyk)
Java (výslovnost) je objektově orientovaný programovací jazyk, který vyvinula firma Sun Microsystems a představila 23. května 1995.
Nový!!: Typový systém a Java (programovací jazyk) · Vidět víc »
JavaScript
JavaScript je multiplatformní, objektově orientovaný, událostmi řízený skriptovací jazyk, jehož autorem je Brendan Eich z někdejší společnosti Netscape.
Nový!!: Typový systém a JavaScript · Vidět víc »
Johann Friedrich Kind
Johann Friedrich Kind (4. března 1768 Lipsko – 24. června 1843 Drážďany) byl německý spisovatel.
Nový!!: Typový systém a Johann Friedrich Kind · Vidět víc »
Kompilace
Kompilace může označovat.
Nový!!: Typový systém a Kompilace · Vidět víc »
Ladění
Ladění (temperatura) stanovuje přesné vzdálenosti jednotlivých tónů v hudební stupnici.
Nový!!: Typový systém a Ladění · Vidět víc »
Lambda kalkul
Lambda kalkul je formální systém a výpočetní model používaný v teoretické informatice a matematice pro studium funkcí a rekurze.
Nový!!: Typový systém a Lambda kalkul · Vidět víc »
Lineární logika
Lineární logika je verze formální logiky, v níž při odvození dochází k vyřazení antecedentu z množiny formulí.
Nový!!: Typový systém a Lineární logika · Vidět víc »
Lisp
Lisp (historicky LISP) je rodina multiparadigmatických programovacích jazyků s dlouhou historií.
Nový!!: Typový systém a Lisp · Vidět víc »
Lua
Lua je odlehčený, vysokoúrovňový, reflexivní, multiparadigmatický, imperativní a procedurální programovací jazyk navržený jako skriptovací jazyk s rozšiřitelnou sémantikou.
Nový!!: Typový systém a Lua · Vidět víc »
MATLAB
MATLAB (matrix laboratory) je interaktivní programové prostředí a skriptovací programovací jazyk čtvrté generace.
Nový!!: Typový systém a MATLAB · Vidět víc »
Metaprogramování
Metaprogramování je programovací technika, založená na vytváření programů, které nakládají s jinými počítačovými programy jako se svými daty.
Nový!!: Typový systém a Metaprogramování · Vidět víc »
Metoda
Metoda (z řeckého met-hodos – "cesta, následování, postup") je postup nebo návod, jak získávat správné poznatky, prostředek poznání.
Nový!!: Typový systém a Metoda · Vidět víc »
Microsoft
Microsoft Corporation je americká akciová nadnárodní společnost se sídlem v Redmondu ve státě Washington.
Nový!!: Typový systém a Microsoft · Vidět víc »
Modul
Termín modul má více významů.
Nový!!: Typový systém a Modul · Vidět víc »
Objective-C
Objective-C, často nazývaný ObjC, je objektově orientovaný programovací jazyk implementovaný jako rozšíření jazyka C, do kterého byl přidán systém zasílání zpráv z jazyka Smalltalk.
Nový!!: Typový systém a Objective-C · Vidět víc »
Objekt (informatika)
Objekt je v informatice označení pro samostatnou datovou entitu.
Nový!!: Typový systém a Objekt (informatika) · Vidět víc »
OCaml
OCaml je v informatice implementace programovacího jazyka Caml, která byla rozšířena o objektově orientované konstrukce.
Nový!!: Typový systém a OCaml · Vidět víc »
Operand
Operand je v matematice název pro vstupní hodnotu matematické operace nebo operátoru.
Nový!!: Typový systém a Operand · Vidět víc »
Optimalizace (informatika)
Optimalizace je v informatice takový proces modifikace výpočetního systému, který vede k jeho vyšší efektivitě nebo ke snížení nároků celého výpočetního systému.
Nový!!: Typový systém a Optimalizace (informatika) · Vidět víc »
Pascal (programovací jazyk)
Pascal je programovací jazyk, původně určený hlavně k výuce programování.
Nový!!: Typový systém a Pascal (programovací jazyk) · 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ý!!: Typový systém a Překladač · Vidět víc »
Přetěžování
Přetížení funkce či operátoru je v programování taková metoda zápisu zdrojového kódu programu, kdy je možné definovat více funkcí (obslužných metod) se stejnými názvy, zato s různými implementacemi, a to při zachování stejného typu výsledku a i účelu.
Nový!!: Typový systém a Přetěžování · Vidět víc »
Perl
Perl (výslovnost či) je interpretovaný programovací jazyk vytvořený Larry Wallem v roce 1987.
Nový!!: Typový systém a Perl · Vidět víc »
PHP
PHP (rekurzivní zkratka PHP: Hypertext Preprocessor, česky „PHP: Hypertextový preprocesor“, původně Personal Home Page) je skriptovací programovací jazyk.
Nový!!: Typový systém a PHP · Vidět víc »
Počítač
Počítač je číslicový elektronický stroj, který lze naprogramovat tak, aby automaticky prováděl posloupnosti aritmetických nebo logických operací (výpočty).
Nový!!: Typový systém a Počítač · Vidět víc »
Podtyp
#PŘESMĚRUJ Dědičnost (objektově orientované programování).
Nový!!: Typový systém a Podtyp · Vidět víc »
Pohyblivá řádová čárka
Ve výpočetní technice se pohyblivou řádovou čárkou nebo plovoucí řádovou čárkou rozumí způsob reprezentace čísel, která by byla moc malá nebo velká pro vyjádření v pevné řádové čárce.
Nový!!: Typový systém a Pohyblivá řádová čárka · Vidět víc »
Pole (datová struktura)
Prázdné jednorozměrné pole o 10 prvcích (zde indexováno od nuly, některé jazyky indexují od jedničky) Pojmem pole (také vektor) se v informatice označuje datová struktura, která sdružuje daný vždy konečný počet prvků (čísel, textových řetězců, …) stejného datového typu.
Nový!!: Typový systém a Pole (datová struktura) · Vidět víc »
Polymorfismus
Slovo polymorfismus nebo polymorfie znamená schopnost zaujímat více forem v různých významech.
Nový!!: Typový systém a Polymorfismus · Vidět víc »
Polymorfismus (programování)
Polymorfismus je vlastnost programovacího jazyka, objektově orientovaného programování (OOP), která umožňuje.
Nový!!: Typový systém a Polymorfismus (programování) · Vidět víc »
Presburgerova aritmetika
Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Typový systém a Presburgerova aritmetika · Vidět víc »
Programátorská chyba
#PŘESMĚRUJ Softwarová chyba#Programátorská chyba.
Nový!!: Typový systém a Programátorská chyba · 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ý!!: Typový systém a Programovací jazyk · Vidět víc »
Prolog (programovací jazyk)
Prolog je logický programovací jazyk.
Nový!!: Typový systém a Prolog (programovací jazyk) · Vidět víc »
Proměnná
Proměnná je v matematice a programování způsob symbolické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi.
Nový!!: Typový systém a Proměnná · Vidět víc »
Provázanost
Provázanost (též softwarová závislost) označuje v informatice do jaké míry je dané entita (modul) závislý na jiné entitě (modulu).
Nový!!: Typový systém a Provázanost · Vidět víc »
Python
Python (anglická výslovnost) je vysokoúrovňový programovací jazyk, který v roce 1991 navrhl Guido van Rossum.
Nový!!: Typový systém a Python · Vidět víc »
Referenční průhlednost
Referenční průhlednost neboli referenční transparentnost je v programování vlastnost výrazů, která znamená, že daný výraz lze vyhodnotit bez ohledu na jeho kontext v rámci zdrojového kódu.
Nový!!: Typový systém a Referenční průhlednost · Vidět víc »
Rozhodnutelnost
Rozhodnutelnost je matematický pojem z oblasti matematické logiky.
Nový!!: Typový systém a Rozhodnutelnost · Vidět víc »
Rozhraní (informatika)
Rozhraní (anglicky interface, případně počeštěně interfejs) označuje v informatice zařízení, program nebo formát, zajišťující správnou komunikaci a přenos dat mezi odlišnými zařízeními nebo programy.
Nový!!: Typový systém a Rozhraní (informatika) · Vidět víc »
Ruby
Ruby je interpretovaný skriptovací programovací jazyk.
Nový!!: Typový systém a Ruby · Vidět víc »
Scala (programovací jazyk)
Scala je multiparadigmatický programovací jazyk navržený tak, aby integroval rysy objektově orientovaného a funkcionálního programování.
Nový!!: Typový systém a Scala (programovací jazyk) · Vidět víc »
Smalltalk
Smalltalk (výslovnost) je interpretovaný, dynamicky a striktně typovaný, čistě objektový programovací jazyk, který v sedmdesátých letech 20. století vyvinuli ve firmě Xerox PARC Alan Kay, Dan Ingalls, Ted Kaehler a Adele Goldberg.
Nový!!: Typový systém a Smalltalk · Vidět víc »
Strojová instrukce
Strojová instrukce je v informatice označení kódovaného příkazu pro provedení elementární operace procesoru, kterou je procesor schopen přímo vykonat (procesor je základní součástí počítače).
Nový!!: Typový systém a Strojová instrukce · Vidět víc »
Styl zápisu programu
Styl zápisu programu (v angličtině code style) je soubor norem nebo na pravidel, která se používají při psaní zdrojového kódu počítačového programu.
Nový!!: Typový systém a Styl zápisu programu · Vidět víc »
Syntax
Syntax neboli skladba (zastarale větosloví) je lingvistická disciplína, jež zkoumá vzájemné vztahy mezi znaky (např. vztahy mezi slovy ve větě (mj. větnými členy), správným tvořením větných konstrukcí a slovosledem, také ale čísly nebo logickými symboly).
Nový!!: Typový systém a Syntax · Vidět víc »
Třída
Třída může označovat.
Nový!!: Typový systém a Třída · Vidět víc »
Tcl
Tcl (vyslovuje se „tý-sý-el“ nebo „tykl“, název je zkratkou z Tool Command Language) je jednoduchý, ale účinný skriptovací jazyk, který v roce 1988 vytvořil John Ousterhout.
Nový!!: Typový systém a Tcl · Vidět víc »
Teorie typů
Teorie typů je teorie na pomezí matematiky, filosofie a algoritmiky, kterou jako první předložil Bertrand Russell za účelem vyřešení paradoxů teorie množin, ačkoliv zárodky lze najít již u Bernarda Bolzana.
Nový!!: Typový systém a Teorie typů · Vidět víc »
Testování softwaru
Testování softwaru je empirický technický výzkum kvality testovaného produktu nebo služby prováděný za účelem poskytnout získané informace všem zainteresovaným (.
Nový!!: Typový systém a Testování softwaru · Vidět víc »
Textový řetězec
Textový řetězec je v programování název datového typu sloužícího k uložení konečné posloupnosti znaků.
Nový!!: Typový systém a Textový řetězec · Vidět víc »
Typová bezpečnost (programování)
#PŘESMĚRUJ Typová kontrola.
Nový!!: Typový systém a Typová bezpečnost (programování) · Vidět víc »
Typová inference
Typová inference nebo odvozování typu je vlastnost některých programovacích jazyků, která umožňuje nedeklarovat typ proměnné, pokud jej lze odvodit (rekonstruovat) ze zbývajících informací a pravidel zápisu.
Nový!!: Typový systém a Typová inference · Vidět víc »
Typová kontrola
Typová kontrola je v informatice proces ověřování datových typů ve zdrojovém kódu počítačového programu (pro operandy ve výrazech, parametry a návratové hodnoty funkcí i jinde).
Nový!!: Typový systém a Typová kontrola · Vidět víc »
Výraz (programování)
Výraz v programovacích jazycích je kombinací jedné nebo více explicitních literálů, konstant, proměnných, operátorů a funkcí, které programovací jazyk interpretuje (podle pravidel priority a asociativity) a vyhodnocuje (ve stavovém prostředí „vrací“).
Nový!!: Typový systém a Výraz (programování) · Vidět víc »
Visual Basic
Visual Basic (zkratka VB) je v informatice událostmi řízený programovací jazyk a integrované vývojové prostředí (IDE) od společnosti Microsoft pro jeho programovací model COM.
Nový!!: Typový systém a Visual Basic · Vidět víc »
Závislostní typ
Závislostní typ je v teorii typů typ závisející na konkrétní hodnotě.
Nový!!: Typový systém a Závislostní typ · Vidět víc »
Znak (počítače)
V počítačové terminologii je znak jednotka informace, která zpravidla odpovídá jednomu grafému v psané formě přirozeného jazyka.
Nový!!: Typový systém a Znak (počítače) · Vidět víc »
32bitový
Mezi 32bitové procesory patří.
Nový!!: Typový systém a 32bitový · Vidět víc »