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

Typová kontrola

Index 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).

34 vztahy: Ada (programovací jazyk), AppleScript, Štíhlá výroba, Běhové prostředí, C (programovací jazyk), C Sharp, C++, C++/CLI, Datový typ, Funkce (programování), Funkcionální programování, Generické programování, Haskell (programovací jazyk), Idris, Informatika, J Sharp, Java (programovací jazyk), JavaScript, Lisp, Lua, Překladač, PHP, Počítačový program, Programovací jazyk, Prolog (programovací jazyk), Python, Ruby, Sémantická analýza, Smalltalk, Swift (programovací jazyk), Syntaktická analýza, Visual Basic, Zdrojový kód, .NET.

Ada (programovací jazyk)

Ada je robustní staticky typovaný programovací jazyk vyvinutý v 70. letech na objednávku amerického ministerstva obrany.

Nový!!: Typová kontrola a Ada (programovací jazyk) · 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á kontrola a AppleScript · Vidět víc »

Štíhlá výroba

Štíhlá výroba je metodika, kterou vyvinula firma Toyota po 2.

Nový!!: Typová kontrola a Štíhlá výroba · Vidět víc »

Běhové prostředí

Běhové prostředí je v informatice skupina software, určená na podporu realizace počítačových programů napsaných v některém z programovacích jazyků.

Nový!!: Typová kontrola a Běhové prostředí · 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á kontrola 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á kontrola 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á kontrola a C++ · Vidět víc »

C++/CLI

C++/CLI je rozšíření jazyka C++ pro platformu.NET.

Nový!!: Typová kontrola a C++/CLI · 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á kontrola a Datový typ · Vidět víc »

Funkce (programování)

#PŘESMĚRUJ Podprogram.

Nový!!: Typová kontrola 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ý!!: Typová kontrola a Funkcionální programování · 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á kontrola a Generické programování · 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á kontrola a Haskell (programovací jazyk) · Vidět víc »

Idris

Idris (إدريس) je jméno arabského i waleského původu (nezávisle na sobě).

Nový!!: Typová kontrola a Idris · 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á kontrola a Informatika · Vidět víc »

J Sharp

J# (vyslovované anglicky jako J Sharp) je programovací jazyk z rodiny jazyků.NET, vyvíjený společností Microsoft jako varianta k multisystémovému jazyku Java.

Nový!!: Typová kontrola a J Sharp · 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á kontrola 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á kontrola a JavaScript · Vidět víc »

Lisp

Lisp (historicky LISP) je rodina multiparadigmatických programovacích jazyků s dlouhou historií.

Nový!!: Typová kontrola 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á kontrola a Lua · 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á kontrola a Překladač · 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á kontrola a PHP · Vidět víc »

Počítačový program

Počítačový program (též jen program, obecně pak software) je v informatice posloupnost instrukcí (ne nutně strojových instrukcí), která popisuje realizaci dané úlohy počítačem.

Nový!!: Typová kontrola a Počítačový program · 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á kontrola a Programovací jazyk · Vidět víc »

Prolog (programovací jazyk)

Prolog je logický programovací jazyk.

Nový!!: Typová kontrola a Prolog (programovací jazyk) · 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á kontrola a Python · Vidět víc »

Ruby

Ruby je interpretovaný skriptovací programovací jazyk.

Nový!!: Typová kontrola a Ruby · Vidět víc »

Sémantická analýza

Sémantická analýza je výraz z oblasti informatiky.

Nový!!: Typová kontrola a Sémantická analýza · 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á kontrola a Smalltalk · Vidět víc »

Swift (programovací jazyk)

Swift je multi-paradigmatický, kompilovaný, open source programovací jazyk od společnosti Apple, určený pro vývoj na platformách macOS, watchOS a iOS.

Nový!!: Typová kontrola a Swift (programovací jazyk) · Vidět víc »

Syntaktická analýza

Syntaktická analýza použitá pro převod zápisu matematického výrazu na syntaktický strom. Syntaktická analýza (slangově podle angličtiny též parsování nebo parsing) se v informatice a v lingvistice nazývá proces analýzy posloupnosti formálních prvků s cílem určit jejich gramatickou strukturu vůči předem dané (byť ne nutně explicitně vyjádřené) formální gramatice.

Nový!!: Typová kontrola a Syntaktická analýza · 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á kontrola a Visual Basic · Vidět víc »

Zdrojový kód

Zdrojový kód (též zdrojový text, slangově zdroják) je v informatice označení zápisu počítačového programu nebo jeho části v nějakém programovacím jazyce.

Nový!!: Typová kontrola a Zdrojový kód · Vidět víc »

.NET

.NET („dotnet“ podle anglického dot NET.

Nový!!: Typová kontrola a .NET · Vidět víc »

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