@prefix dbpedia-owl: .
@prefix dbpedia-cs: .
dbpedia-cs:Unixový_shell dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Glasgow_Haskell_Compiler dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Koncová_rekurze dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Dynamický_programovací_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:C-- dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Grep dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Programovací_paradigma dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:TypeScript dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
@prefix prop-cs: .
dbpedia-cs:TypeScript prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Vyšší_programovací_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Čistě_funkcionální dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:SNOBOL dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:WxHaskell dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Jazyk_pro_transformace_XML dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:OCaml dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:SeL4 dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Programátor dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Scheme dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Matematický_výraz dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Programovací_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:JavaScript dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Perl_6 dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Tcl dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Logika_vyššího_řádu dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Čítač_instrukcí dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Perl dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Python dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Smalltalk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Programování dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Miranda dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
@prefix foaf: .
@prefix wiki-cs: .
wiki-cs:Funkcionální_programování foaf:primaryTopic dbpedia-cs:Funkcionální_programování .
dbpedia-cs:John_Backus dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Lambda_kalkul dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
@prefix rdfs: .
dbpedia-cs:Funkcionální_programování rdfs:label "Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED"@cs ;
rdfs:comment "Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED je deklarativn\u00ED programovac\u00ED paradigma, kter\u00E9 ch\u00E1pe v\u00FDpo\u010Det jako vyhodnocen\u00ED matematick\u00FDch funkc\u00ED. Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED m\u00E1 sv\u00E9 ko\u0159eny v lambda-kalkulu, form\u00E1ln\u00EDm syst\u00E9mu vyvinut\u00E9m v 30. letech k vy\u0161et\u0159ov\u00E1n\u00ED definic\u00ED funkc\u00ED, jejich aplikace a rekurze. Mnoho funkcion\u00E1ln\u00EDch programovac\u00EDch jazyk\u016F m\u016F\u017Ee b\u00FDt pova\u017Eov\u00E1no za roz\u0161\u00ED\u0159en\u00ED lambda kalkulu.V\u00FDpo\u010Dtem funkcion\u00E1ln\u00EDho programu je tedy posloupnost vz\u00E1jemn\u011B ekvivalentn\u00EDch v\u00FDraz\u016F, kter\u00E9 se postupn\u011B zjednodu\u0161uj\u00ED."@cs .
@prefix owl: .
dbpedia-cs:Funkcionální_programování owl:sameAs dbpedia-cs:Funkcionální_programování .
@prefix xsd: .
dbpedia-cs:Funkcionální_programování dbpedia-owl:wikiPageLength "18831"^^xsd:nonNegativeInteger ;
prop-cs:wikiPageUsesTemplate .
@prefix ns8: .
dbpedia-cs:Funkcionální_programování prop-cs:wikiPageUsesTemplate ns8:Autoritní_data ,
ns8:Upravit ,
ns8:Programovací_paradigmata ,
ns8:Pahýl ;
dbpedia-owl:wikiPageWikiLinkText "funkcion\u00E1ln\u00EDho programov\u00E1n\u00ED"@cs ,
"funkcion\u00E1ln\u00EDch programovac\u00EDch jazyc\u00EDch"@cs ,
"funkcion\u00E1ln\u00ED programov\u00E1n\u00ED"@cs ,
"\u010Dist\u011B funkcion\u00E1ln\u00EDch"@cs ,
"funkcion\u00E1ln\u00ED programovac\u00ED jazyky"@cs ,
"funkcion\u00E1ln\u00ED jazyky"@cs ,
"funkcion\u00E1ln\u00ED programovac\u00ED jazyk"@cs ,
"Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED"@cs ,
"Funkcion\u00E1ln\u00ED"@cs ,
"funkcion\u00E1ln\u00EDm"@cs ,
"funkcion\u00E1ln\u00EDch jazyk\u016F"@cs ,
"funkcion\u00E1ln\u00ED jazyk"@cs ,
"funkcion\u00E1ln\u00EDm jazyce"@cs ,
"funkce vy\u0161\u0161\u00EDch \u0159\u00E1d\u016F"@cs ,
"funkcion\u00E1ln\u00EDm programov\u00E1n\u00EDm"@cs ,
"funkcion\u00E1ln\u00ED"@cs ,
"funkcion\u00E1ln\u00EDho"@cs ,
"funkcion\u00E1ln\u00EDm programov\u00E1n\u00ED"@cs ,
"funkcion\u00E1ln\u00EDch programovac\u00EDch jazyk\u016F"@cs ;
dbpedia-owl:wikiPageOutDegree "91"^^xsd:nonNegativeInteger ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Programovací_paradigma ,
,
,
dbpedia-cs:Yacc ,
dbpedia-cs:Haskell_Brooks_Curry ,
,
dbpedia-cs:Rozhodnutelnost ,
,
dbpedia-cs:Čistě_funkcionální ,
dbpedia-cs:Statistika ,
,
,
,
dbpedia-cs:SQL ,
dbpedia-cs:Python ,
dbpedia-cs:Překladač ,
dbpedia-cs:Perl ,
dbpedia-cs:Programovací_jazyk ,
dbpedia-cs:OCaml ,
dbpedia-cs:Mathematica ,
dbpedia-cs:Alonzo_Church ,
dbpedia-cs:Koncová_rekurze ,
dbpedia-cs:Typová_kontrola ,
dbpedia-cs:Lambda_kalkul ,
,
,
dbpedia-cs:Vláknově_bezpečné .
@prefix category-cs: .
dbpedia-cs:Funkcionální_programování dbpedia-owl:wikiPageWikiLink category-cs:Paradigmata_programování ,
dbpedia-cs:Turingův_stroj ,
dbpedia-cs:Lisp ,
,
dbpedia-cs:Function-level_programování ,
dbpedia-cs:Hoareho_logika ,
dbpedia-cs:ISWIM ,
dbpedia-cs:Anamorphismus ,
dbpedia-cs:Catamorphismus ,
dbpedia-cs:Currying ,
,
dbpedia-cs:Finanční_analýza ,
,
dbpedia-cs:Unikátnost ,
dbpedia-cs:Vedlejší_efekt ,
dbpedia-cs:Vedlejší_účinek ,
dbpedia-cs:Referenční_průhlednost ,
dbpedia-cs:Referenční_transparentnost ,
dbpedia-cs:Standard_ML ,
dbpedia-cs:Deklarativní_programování ,
dbpedia-cs:IBM ,
dbpedia-cs:Imperativní_programování ,
dbpedia-cs:Scheme ,
dbpedia-cs:Logické_programování ,
dbpedia-cs:Objektově_orientované_programování ,
category-cs:Funkcionální_programování ,
dbpedia-cs:Rekurzivní_funkce ,
dbpedia-cs:F_Sharp ,
dbpedia-cs:Rekurze ,
,
dbpedia-cs:Clean ,
dbpedia-cs:Procedurální_programování ,
dbpedia-cs:XSLT ,
dbpedia-cs:Garbage_collection ,
dbpedia-cs:LISP ,
,
dbpedia-cs:Teorie_kategorií ,
dbpedia-cs:Extensible_Markup_Language ,
.
@prefix prov: .
dbpedia-cs:Funkcionální_programování prov:wasDerivedFrom .
@prefix dcterms: .
dbpedia-cs:Funkcionální_programování dcterms:subject category-cs:Paradigmata_programování ,
category-cs:Funkcionální_programování ;
dbpedia-owl:abstract "Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED je deklarativn\u00ED programovac\u00ED paradigma, kter\u00E9 ch\u00E1pe v\u00FDpo\u010Det jako vyhodnocen\u00ED matematick\u00FDch funkc\u00ED. Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED m\u00E1 sv\u00E9 ko\u0159eny v lambda-kalkulu, form\u00E1ln\u00EDm syst\u00E9mu vyvinut\u00E9m v 30. letech k vy\u0161et\u0159ov\u00E1n\u00ED definic\u00ED funkc\u00ED, jejich aplikace a rekurze. Mnoho funkcion\u00E1ln\u00EDch programovac\u00EDch jazyk\u016F m\u016F\u017Ee b\u00FDt pova\u017Eov\u00E1no za roz\u0161\u00ED\u0159en\u00ED lambda kalkulu.V\u00FDpo\u010Dtem funkcion\u00E1ln\u00EDho programu je tedy posloupnost vz\u00E1jemn\u011B ekvivalentn\u00EDch v\u00FDraz\u016F, kter\u00E9 se postupn\u011B zjednodu\u0161uj\u00ED. V\u00FDsledkem v\u00FDpo\u010Dtu, pokud se k n\u011Bmu poda\u0159\u00ED dosp\u011Bt, je v\u00FDraz v d\u00E1le nezjednodu\u0161iteln\u00E9 norm\u00E1ln\u00ED form\u011B. Program je ch\u00E1p\u00E1n jako jedna funkce obsahuj\u00EDc\u00ED vstupn\u00ED parametry maj\u00EDc\u00ED jedin\u00FD v\u00FDstup. Tato funkce pak m\u016F\u017Ee b\u00FDt d\u00E1le rozlo\u017Eiteln\u00E1 na podfunkce.V praxi je rozd\u00EDl mezi matematickou funkc\u00ED a p\u0159edstavou funkce pou\u017Eit\u00E9 v imperativn\u00EDm programov\u00E1n\u00ED. Imperativn\u00ED funkce mohou m\u00EDt vedlej\u0161\u00ED \u00FA\u010Dinky, kter\u00E9 m\u011Bn\u00ED stav programu. Z toho d\u016Fvodu postr\u00E1daj\u00ED referen\u010Dn\u00ED transparentnost: Stejn\u00E9 vol\u00E1n\u00ED m\u016F\u017Ee v\u00E9st k r\u016Fzn\u00FDm n\u00E1vratov\u00FDm hodnot\u00E1m v z\u00E1vislosti na stavu vykon\u00E1van\u00E9ho programu. Oproti tomu ve funkcion\u00E1ln\u00EDm k\u00F3du n\u00E1vratov\u00E9 hodnoty funkc\u00ED z\u00E1le\u017E\u00ED pouze na argumentech funkce, a tud\u00ED\u017E dv\u011B vol\u00E1n\u00ED t\u00E9\u017Ee funkce se stejn\u00FDmi argumenty vrac\u00ED v\u017Edy stejnou hodnotu. Eliminace vedlej\u0161\u00EDch \u00FA\u010Dink\u016F m\u016F\u017Ee zjednodu\u0161it anal\u00FDzu a pochopen\u00ED chodu programu, co\u017E je jednou z kl\u00ED\u010Dov\u00FDch motivac\u00ED pro v\u00FDvoj funk\u010Dn\u00EDho programov\u00E1n\u00ED.V praxi se m\u016F\u017Eeme setkat jak s \u010Dist\u011B funkcion\u00E1ln\u00EDmi jazyky, kter\u00E9 striktn\u011B vych\u00E1zej\u00ED z teorie (nap\u0159. FP, Haskell, Miranda, Hope), tak i s hybridn\u00EDmi jazyky, kter\u00E9 mohou obsahovat i prvky, kter\u00E9 jsou v rozporu se z\u00E1kladn\u00EDmi principy funkcion\u00E1ln\u00EDho programov\u00E1n\u00ED. Nap\u0159\u00EDklad \u010Dasto citovan\u00FD \u201Etypicky\u201C funkcion\u00E1ln\u00ED jazyk Lisp je ve skute\u010Dnosti jazykem hybridn\u00EDm, nebo\u0165 umo\u017E\u0148uje modifikovat hodnoty ji\u017E definovan\u00FDch prom\u011Bnn\u00FDch. Mezi hybridn\u00ED jazyky pat\u0159\u00ED rovn\u011B\u017E jazyky Standard ML, Scheme, \u010Di F#. D\u00E1le lze funkcion\u00E1ln\u00ED jazyky d\u011Blit dle typov\u00E9 kontroly na typovan\u00E9 (Haskell, F#, Scala, OCaml) a netypovan\u00E9 (Lisp, Scheme)."@cs ;
dbpedia-owl:wikiPageID 22943 ;
foaf:isPrimaryTopicOf wiki-cs:Funkcionální_programování ;
dbpedia-owl:wikiPageRevisionID 16562114 .
dbpedia-cs:Groovy dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Deklarativní_programování dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Imperativní_programování dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Logické_programování dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:F_Sharp dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Function-level_programování dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Referenční_průhlednost dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Standard_ML dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Funkcionální_jazyk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
dbpedia-owl:wikiPageRedirects dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Datovod dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Funkcionální_jazyky dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
dbpedia-owl:wikiPageRedirects dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Formální_verifikace dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:CPL dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování ;
prop-cs:paradigma dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Clojure dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Lineární_vyhledávání dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Rebol dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:IPL dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Incr_Tcl dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .
dbpedia-cs:Itk dbpedia-owl:wikiPageWikiLink dbpedia-cs:Funkcionální_programování .