@prefix dbpedia-owl: .
@prefix dbpedia-cs: .
dbpedia-cs:Dynamický_programovací_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:C-- dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Interpretovaný_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
@prefix prop-cs: .
dbpedia-cs:Pawn prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
@prefix rdfs: .
dbpedia-cs:Typový_systém rdfs:label "Typov\u00FD syst\u00E9m"@cs ;
rdfs:comment "Typov\u00FD syst\u00E9m lze v informatice definovat jako \u201Etv\u00E1rn\u00FD syntaktick\u00FD r\u00E1mec pro klasifikov\u00E1n\u00ED v\u00FDraz\u016F podle toho, jak\u00FD druh hodnoty vypo\u010D\u00EDt\u00E1vaj\u00ED\u201C. Typov\u00FD syst\u00E9m porovn\u00E1v\u00E1 datov\u00E9 typy a v\u00FDpo\u010Dty ve v\u00FDrazech a t\u00EDm umo\u017E\u0148uje zajistit, \u017Ee nedojde k typov\u00FDm chyb\u00E1m. R\u016Fzn\u00E9 operace o\u010Dek\u00E1vaj\u00ED r\u016Fzn\u00E9 datov\u00E9 typy a typov\u00FD syst\u00E9m zaji\u0161\u0165uje, aby nebyly pou\u017Eity hodnoty, pro kter\u00E9 nem\u00E1 operace smysl. Kompil\u00E1tor m\u016F\u017Ee k ulo\u017Een\u00ED hodnoty pou\u017E\u00EDt staticky definovan\u00FD datov\u00FD typ a pak na ni aplikovat p\u0159\u00EDslu\u0161n\u00FD typ v\u00FDpo\u010Dtu."@cs .
@prefix owl: .
dbpedia-cs:Typový_systém owl:sameAs dbpedia-cs:Typový_systém .
@prefix xsd: .
dbpedia-cs:Typový_systém dbpedia-owl:wikiPageLength "40059"^^xsd:nonNegativeInteger .
@prefix ns6: .
dbpedia-cs:Typový_systém prop-cs:wikiPageUsesTemplate ns6:Překlad ,
ns6:Podrobně ,
ns6:Upravit ,
,
ns6:Viz_též ;
dbpedia-owl:wikiPageWikiLinkText "dynamick\u00E1"@cs ,
"siln\u00E9"@cs ,
"siln\u00E1"@cs ,
"Statick\u00FD"@cs ,
"dynamicky psan\u00FD"@cs ,
"typov\u00FD syst\u00E9m"@cs ,
"statick\u00E1"@cs ,
"existe\u010Dn\u00EDho typu"@cs ,
"typy"@cs ,
"dynamick\u00E9"@cs ,
"slab\u00E1"@cs ,
"dynamicky typovan\u00E9"@cs ,
"Typov\u00FD syst\u00E9m"@cs ,
"dynamick\u00E9 typov\u00E1n\u00ED"@cs ,
"dynamicky typovan\u00FD"@cs ,
"typov\u00E9ho syst\u00E9mu"@cs ;
dbpedia-owl:wikiPageOutDegree "186"^^xsd:nonNegativeInteger ;
dbpedia-owl:wikiPageWikiLink ,
dbpedia-cs:Informatika ,
dbpedia-cs:Empirický ,
dbpedia-cs:Programovací_jazyk ,
dbpedia-cs:Překladač ,
dbpedia-cs:C_Sharp ,
,
dbpedia-cs:Groovy ,
dbpedia-cs:Typová_kontrola ,
,
dbpedia-cs:MATLAB ,
dbpedia-cs:IEEE_754 ,
dbpedia-cs:Kompilace ,
dbpedia-cs:Celé_číslo ,
dbpedia-cs:Správnost_programu ,
dbpedia-cs:Eval ,
dbpedia-cs:Disjunktní_sjednocení ,
dbpedia-cs:Aritmetika ,
dbpedia-cs:Elektronická_paměť ,
,
dbpedia-cs:Dělení_nulou ,
,
dbpedia-cs:Testování_softwaru ,
,
,
,
dbpedia-cs:Syntax ,
,
dbpedia-cs:Smalltalk ,
dbpedia-cs:Operand ,
,
,
dbpedia-cs:Programátorská_chyba ,
dbpedia-cs:Lua ,
dbpedia-cs:JavaScript ,
dbpedia-cs:Bit ,
dbpedia-cs:Abstrakce ,
dbpedia-cs:Dependent_ML ,
dbpedia-cs:Podtypy ,
,
dbpedia-cs:Strukturovaného_typování ,
dbpedia-cs:Visual_Basic ,
dbpedia-cs:Analýza_programu ,
dbpedia-cs:Typové_odvozování ,
dbpedia-cs:Objective-C ,
dbpedia-cs:Singularity ,
.
@prefix category-cs: .
dbpedia-cs:Typový_systém dbpedia-owl:wikiPageWikiLink category-cs:Datové_typy ,
dbpedia-cs:Modul ,
dbpedia-cs:Kachní_test ,
dbpedia-cs:Boolean ,
dbpedia-cs:Metaprogramování ,
,
dbpedia-cs:OCaml ,
,
dbpedia-cs:Abstraktní_datový_typ ,
dbpedia-cs:Common_Lisp ,
dbpedia-cs:PHP ,
dbpedia-cs:Alex_Martelli ,
,
,
dbpedia-cs:Downcasting ,
dbpedia-cs:Duck_typing ,
dbpedia-cs:Přetížení_funkce ,
,
dbpedia-cs:Falešný_objekt ,
,
dbpedia-cs:Gordon_Plotkin ,
dbpedia-cs:Dereference ,
dbpedia-cs:Nulární_typy ,
dbpedia-cs:Podtyp ,
dbpedia-cs:Strukturální_typový_systém ,
dbpedia-cs:Systém_F ,
dbpedia-cs:Typové_usuzování ,
dbpedia-cs:Variantní_typy ,
,
dbpedia-cs:Závislé_typy ,
dbpedia-cs:Integrální_typ ,
dbpedia-cs:Lineární_logika ,
dbpedia-cs:James_Whitconb_Riley ,
dbpedia-cs:Jedinečností_typů ,
,
dbpedia-cs:Kind ,
dbpedia-cs:Křížený_typ ,
dbpedia-cs:Variantní_typ ,
dbpedia-cs:Lineární_typ ,
dbpedia-cs:Metatřída ,
dbpedia-cs:APL ,
dbpedia-cs:Závislý_ML ,
dbpedia-cs:Introspekce ,
dbpedia-cs:Type_punning ,
dbpedia-cs:Záznamový_typ ,
dbpedia-cs:F_Sharp ,
dbpedia-cs:Teorie_typů ,
,
dbpedia-cs:Referenční_transparentnost ,
dbpedia-cs:GNU_Octave ,
dbpedia-cs:Fortran ,
,
,
dbpedia-cs:JADE ,
dbpedia-cs:AppleScript ,
dbpedia-cs:Presburgerova_aritmetika ,
dbpedia-cs:Tcl ,
dbpedia-cs:Metoda ,
dbpedia-cs:ActionScript ,
dbpedia-cs:Ladění ,
dbpedia-cs:Třída ,
dbpedia-cs:Lisp ,
,
dbpedia-cs:Lambda_kalkul ,
dbpedia-cs:Provázanost ,
dbpedia-cs:Generické_programování ,
,
,
dbpedia-cs:Programovací_jazyk_C ,
dbpedia-cs:Pohyblivá_řádová_čárka ,
dbpedia-cs:Clojure ,
dbpedia-cs:Strojová_instrukce ,
dbpedia-cs:Polymorfizmus ,
dbpedia-cs:Rozhodnutelnost ,
dbpedia-cs:Počítač ,
dbpedia-cs:Textový_řetězec ,
dbpedia-cs:Styl_zápisu_programu ,
dbpedia-cs:Proměnná ,
dbpedia-cs:Perl ,
dbpedia-cs:Datový_typ ,
dbpedia-cs:Python ,
dbpedia-cs:Asociativní_pole ,
,
,
dbpedia-cs:Pozdní_vazbu .
@prefix prov: .
dbpedia-cs:Typový_systém prov:wasDerivedFrom ;
prop-cs:jazyk "en"@cs ;
prop-cs:revize 437508711 ;
prop-cs:článek "Type system"@cs .
@prefix dcterms: .
dbpedia-cs:Typový_systém dcterms:subject category-cs:Datové_typy ;
dbpedia-owl:abstract "Typov\u00FD syst\u00E9m lze v informatice definovat jako \u201Etv\u00E1rn\u00FD syntaktick\u00FD r\u00E1mec pro klasifikov\u00E1n\u00ED v\u00FDraz\u016F podle toho, jak\u00FD druh hodnoty vypo\u010D\u00EDt\u00E1vaj\u00ED\u201C. Typov\u00FD syst\u00E9m porovn\u00E1v\u00E1 datov\u00E9 typy a v\u00FDpo\u010Dty ve v\u00FDrazech a t\u00EDm umo\u017E\u0148uje zajistit, \u017Ee nedojde k typov\u00FDm chyb\u00E1m. R\u016Fzn\u00E9 operace o\u010Dek\u00E1vaj\u00ED r\u016Fzn\u00E9 datov\u00E9 typy a typov\u00FD syst\u00E9m zaji\u0161\u0165uje, aby nebyly pou\u017Eity hodnoty, pro kter\u00E9 nem\u00E1 operace smysl. Kompil\u00E1tor m\u016F\u017Ee k ulo\u017Een\u00ED hodnoty pou\u017E\u00EDt staticky definovan\u00FD datov\u00FD typ a pak na ni aplikovat p\u0159\u00EDslu\u0161n\u00FD typ v\u00FDpo\u010Dtu. Nap\u0159\u00EDklad kompil\u00E1tor jazyka C pou\u017E\u00EDv\u00E1 datov\u00FD typ float, kter\u00FD je podle IEEE 754 reprezentov\u00E1n jako 32bitov\u00E9 \u010D\u00EDslo, a pou\u017E\u00EDv\u00E1 pro n\u011Bj speci\u00E1ln\u00ED strojov\u00E9 instrukce ur\u010Den\u00E9 pro v\u00FDpo\u010Dty s pohyblivou \u0159\u00E1dovou \u010D\u00E1rkou.\u00DArove\u0148 typov\u00FDch omezen\u00ED a zp\u016Fsob jejich posuzov\u00E1n\u00ED maj\u00ED vliv na typov\u00E1n\u00ED dan\u00E9ho programovac\u00EDho jazyka. Programovac\u00ED jazyk m\u016F\u017Ee v p\u0159\u00EDpad\u011B typov\u00E9ho polymorfizmu p\u0159i\u0159adit ka\u017Ed\u00E9mu typu dal\u0161\u00ED operace s r\u016Fzn\u00FDmi konkr\u00E9tn\u00EDmi algoritmy. Teorie typ\u016F \u0159e\u0161\u00ED typov\u00E9 syst\u00E9my, i kdy\u017E konkr\u00E9tn\u00ED typov\u00E9 syst\u00E9my vych\u00E1zej\u00ED z praktick\u00FDch ot\u00E1zek jako je architektura po\u010D\u00EDta\u010De, implementace p\u0159eklada\u010De a konstrukce programovac\u00EDho jazyka."@cs ;
dbpedia-owl:wikiPageID 694973 .
@prefix foaf: .
@prefix wiki-cs: .
dbpedia-cs:Typový_systém foaf:isPrimaryTopicOf wiki-cs:Typový_systém ;
dbpedia-owl:wikiPageExternalLink ,
,
;
dbpedia-owl:wikiPageRevisionID 15353405 .
dbpedia-cs:JavaScript prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:PHP prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Tcl prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Godot dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Perl prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Smalltalk prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:WebAssembly prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
wiki-cs:Typový_systém foaf:primaryTopic dbpedia-cs:Typový_systém .
prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Clojure prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Rebol dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Incr_Tcl dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
prop-cs:typování dbpedia-cs:Typový_systém ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .
dbpedia-cs:Itk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Typový_systém .