70 vztahy: Atributová gramatika, Čistě funkcionální, Řazení slučováním, Bílý znak, C Sharp, Cardano, Clean, Clojure, Csound, Donald Ervin Knuth, Druh (teorie typů), Dwm, Earleyův analyzátor, F Sharp, Funkcionální programování, Garbage collection, Geany, Generátor (programování), Gitit (software), Glasgow Haskell Compiler, GTK, Haskell, Haskell Brooks Curry, Integer, Jazyk pro transformace XML, JEdit, Jupyter, Koprogram, Levá rekurze, Lineární vyhledávání, LLVM, MessagePack, Mezijazyk, Miranda (programovací jazyk), Monadický operátor, Monáda (funkcionální programování), Objekt (informatika), Odložené vyhodnocování, Operátor (programování), Pandoc, Perl 6, Preprocesor, Programovací jazyk, Programovací jazyk Haskell, Programovací paradigma, Qt (knihovna), Rust (programovací jazyk), Scala (programovací jazyk), Schulzeho metoda, SeL4, ..., Seznam programovacích jazyků, Seznam webových aplikačních frameworků, Smultron, Softwarový repozitář, Správce balíčků, Stráž, Sublime Text, Swift (programovací jazyk), Syntaktický cukr, Tacitní programování, Tk (framework), Travis CI, Typová inference, Typová kontrola, Typový systém, Void (datový typ), Volná monáda, WxHaskell, WxWidgets, 3APL. Rozbalte index (20 více) »
Atributová gramatika
Atributové gramatiky je formalismus v matematické informatice poskytující rozšíření formálních gramatik o přenos informací v rámci přepisovacího pravidla, což umožňuje přenos (např. sémantických) informací z libovolného místa v abstraktním syntaktickém stromě kamkoli jinam, řízeným a formálním způsobem.
Nový!!: Haskell (programovací jazyk) a Atributová gramatika · Vidět víc »
Čistě funkcionální
Čistě funkcionální je termín používaný k popsání počítačových algoritmů, datových struktur nebo programovacích jazyků, které nedovolují destruktivní modifikace.
Nový!!: Haskell (programovací jazyk) a Čistě funkcionální · Vidět víc »
Řazení slučováním
Řazení slučováním v akci na několika náhodných číslech Řazení slučováním, známé také pod anglickým názvem merge sort, je řadicí algoritmus, jehož průměrná i nejhorší možná časová složitost je (''O''(N log N)).
Nový!!: Haskell (programovací jazyk) a Řazení slučováním · Vidět víc »
Bílý znak
Bílý znak (řídčeji bílé místo, whitespace (character)) je v informatice takový znak, který představuje prázdné místo.
Nový!!: Haskell (programovací jazyk) a Bílý znak · 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ý!!: Haskell (programovací jazyk) a C Sharp · Vidět víc »
Cardano
Cardano je veřejná blockchainová platforma.
Nový!!: Haskell (programovací jazyk) a Cardano · Vidět víc »
Clean
Clean je v informatice univerzální čistě funkcionální programovací jazyk, který je silně ovlivněn jazykem Haskell.
Nový!!: Haskell (programovací jazyk) a Clean · Vidět víc »
Clojure
Clojure (výslovnost) je v informatice moderní dialekt programovacího jazyka Lisp.
Nový!!: Haskell (programovací jazyk) a Clojure · Vidět víc »
Csound
Csound je programovací jazyk pro práci se zvukem, dostupný pro většinu hlavních operačních systémů.
Nový!!: Haskell (programovací jazyk) a Csound · Vidět víc »
Donald Ervin Knuth
Donald Ervin Knuth (* 10. ledna 1938 Milwaukee, Wisconsin, USA) je přední informatik a emeritní profesor na Stanfordově univerzitě (plným titulem „Professor Emeritus of The Art of Computer Programming“).
Nový!!: Haskell (programovací jazyk) a Donald Ervin Knuth · Vidět víc »
Druh (teorie typů)
Druh je v teorii typů "typ typu".
Nový!!: Haskell (programovací jazyk) a Druh (teorie typů) · Vidět víc »
Dwm
dwm je dynamický, minimalistický dlaždicový okenní správce pro X Window Systém, který ovlivnil vývojáře několika dalších okenních správců pro X. Příkladem jsou xmonad a awesome.
Nový!!: Haskell (programovací jazyk) a Dwm · Vidět víc »
Earleyův analyzátor
Earleyův algoritmus je algoritmus syntaktické analýzy, který vytvořil a v roce 1968 popsal Jay Earley ve své disertační práci vedené Robertem W. Floydem z Univerzity Carnegie-Mellon.
Nový!!: Haskell (programovací jazyk) a Earleyův analyzátor · 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ý!!: Haskell (programovací jazyk) a F Sharp · 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ý!!: Haskell (programovací jazyk) a Funkcionální programování · Vidět víc »
Garbage collection
Garbage collection (zkratka GC, v původním významu „odvoz odpadu“) je způsob automatické správy paměti.
Nový!!: Haskell (programovací jazyk) a Garbage collection · Vidět víc »
Geany
Geany je svobodný a otevřený lehký multiplatformní textový editor obsahující základní vývojové prostředí.
Nový!!: Haskell (programovací jazyk) a Geany · Vidět víc »
Generátor (programování)
Generátor je v programování speciální funkce, kterou lze používat pro řízení opakování ve smyčkách.
Nový!!: Haskell (programovací jazyk) a Generátor (programování) · Vidět víc »
Gitit (software)
Gitit je software realizující wiki, který je (podobně jako ikiwiki a Gollum Wiki) postaven na využití některého podporovaného distribuovaného verzování a softwaru Pandoc pro využití některé z podporovaných značkovacích jazyků.
Nový!!: Haskell (programovací jazyk) a Gitit (software) · Vidět víc »
Glasgow Haskell Compiler
The Glorious Glasgow Haskell Compilation System, známý pod jmény Glasgow Haskell Compiler či GHC, je open source kompilátor do strojového kódu pro funkcionální programovací jazyk Haskell.
Nový!!: Haskell (programovací jazyk) a Glasgow Haskell Compiler · Vidět víc »
GTK
GTK (zkratka z GIMP Toolkit), dříve GTK+ je v informačních technologiích sada knihoven určených pro běh programů v grafickém uživatelském rozhraní.
Nový!!: Haskell (programovací jazyk) a GTK · Vidět víc »
Haskell
Haskell může být:; místopis.
Nový!!: Haskell (programovací jazyk) a Haskell · Vidět víc »
Haskell Brooks Curry
Haskell Brooks Curry (12. září 1900 Millis, Massachusetts – 1. září 1982 State College, Pensylvánie) byl americký matematik a logik.
Nový!!: Haskell (programovací jazyk) a Haskell Brooks Curry · Vidět víc »
Integer
Integer je v programování označení celočíselného datového typu, který představuje konečnou podmnožinu z celých čísel.
Nový!!: Haskell (programovací jazyk) a Integer · Vidět víc »
Jazyk pro transformace XML
Transformace XML na XML Jazyk pro transformace XML je programovací jazyk navržený pro transformaci vstupního XML dokumentu na výstupní dokument požadovaného formátu.
Nový!!: Haskell (programovací jazyk) a Jazyk pro transformace XML · Vidět víc »
JEdit
jEdit při editaci XML a XSLT jEdit je open-source textový editor dostupný pod licencí GNU GPL a implementovaný v programovacím jazyce Java.
Nový!!: Haskell (programovací jazyk) a JEdit · Vidět víc »
Jupyter
Projekt Jupyter je označení pro skupinu softwarových produktů zpřístupňujících programování pomocí webového rozhraní a vyvíjených pod hlavičkou neziskové organizace Project Jupyter.
Nový!!: Haskell (programovací jazyk) a Jupyter · Vidět víc »
Koprogram
Koprogramy jsou v informatice programové komponenty, které umožňují na rozdíl od podprogramů (procedur, funkcí, metod) více vstupních bodů, pozastavení a obnovení výpočtu v jejich různých místech.
Nový!!: Haskell (programovací jazyk) a Koprogram · Vidět víc »
Levá rekurze
Levá rekurze v teorii formálních jazyků v matematické informatice je speciální případ rekurze, kdy lze určitý neterminální symbol přepsat v jednom nebo více krocích na řetězec, který obsahuje stejný neterminální symbol.
Nový!!: Haskell (programovací jazyk) a Levá rekurze · Vidět víc »
Lineární vyhledávání
Lineární vyhledávání (také známé jako sekvenční vyhledávání) je vyhledávací algoritmus vhodný na nalezení určité hodnoty v seznamu.
Nový!!: Haskell (programovací jazyk) a Lineární vyhledávání · Vidět víc »
LLVM
LLVM (dříve zkratka pro Low Level Virtual Machine) je projekt implementující optimalizující překladač ve formě knihoven a API.
Nový!!: Haskell (programovací jazyk) a LLVM · Vidět víc »
MessagePack
MessagePack je datový formát sloužící k serializaci jednoduchých datových struktur, například polí a asociativních polí.
Nový!!: Haskell (programovací jazyk) a MessagePack · Vidět víc »
Mezijazyk
Mezijazyk je v informatice speciální jazyk využívaný abstraktním počítačem, jenž pomáhá v analýze počítačového programu.
Nový!!: Haskell (programovací jazyk) a Mezijazyk · Vidět víc »
Miranda (programovací jazyk)
Miranda je v informatice čistě funkcionální programovací jazyk s líným vyhodnocováním, který navrhl David Turner jako nástupce jeho předchozích programovacích jazyků SASL a KRC, které využívají určitých konceptů jazyků ML a Hope.
Nový!!: Haskell (programovací jazyk) a Miranda (programovací jazyk) · Vidět víc »
Monadický operátor
Monadický operátor je typový operátor vyššího druhu přiřazující libovolné monádě jinou monádu.
Nový!!: Haskell (programovací jazyk) a Monadický operátor · Vidět víc »
Monáda (funkcionální programování)
Monáda je funktoriální datový typ vybavený dvěma přirozenými transformacemi umožňujícími asociativní skládání operací nad monádami.
Nový!!: Haskell (programovací jazyk) a Monáda (funkcionální programování) · Vidět víc »
Objekt (informatika)
Objekt je v informatice označení pro samostatnou datovou entitu.
Nový!!: Haskell (programovací jazyk) a Objekt (informatika) · Vidět víc »
Odložené vyhodnocování
Odložené vyhodnocování (nebo, česky též líné vyhodnocování) je v programování vyhodnocovací strategie, při které je vyhodnocení výrazu odloženo až do okamžiku, kdy je jeho hodnota skutečně potřebná (nestriktní vyhodnocování).
Nový!!: Haskell (programovací jazyk) a Odložené vyhodnocování · Vidět víc »
Operátor (programování)
Operátor je v programovacích jazycích symbol používaný ve výrazech, který předepisuje provedení nějaké (nejčastěji matematické nebo logické) operace s hodnotami (operandy) zapsanými ve svém okolí.
Nový!!: Haskell (programovací jazyk) a Operátor (programování) · Vidět víc »
Pandoc
Pandoc je software pro převod dokumentů mezi různými formáty značkovacích jazyků.
Nový!!: Haskell (programovací jazyk) a Pandoc · Vidět víc »
Perl 6
Raku (původně Perl 6) je dynamický programovací jazyk, který vzniká celkovým přepracováním Perlu.
Nový!!: Haskell (programovací jazyk) a Perl 6 · Vidět víc »
Preprocesor
Preprocesor je počítačový program, který zpracovává vstupní data tak, aby výstup mohl dále zpracovávat jiný program.
Nový!!: Haskell (programovací jazyk) a Preprocesor · 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ý!!: Haskell (programovací jazyk) a Programovací jazyk · Vidět víc »
Programovací jazyk Haskell
#PŘESMĚRUJ Haskell (programovací jazyk).
Nový!!: Haskell (programovací jazyk) a Programovací jazyk Haskell · Vidět víc »
Programovací paradigma
Programovací paradigma je základní programovací styl (na rozdíl od metodiky, která představuje způsob vývoje konkrétních aplikací v softwarovém inženýrství).
Nový!!: Haskell (programovací jazyk) a Programovací paradigma · Vidět víc »
Qt (knihovna)
Qt (výslovnost) je multiplatformní aplikační rámec (framework) široce používaný pro vytváření aplikačního software s grafickým uživatelským rozhraním určeného pro rozličné softwarové a hardwarové platformy.
Nový!!: Haskell (programovací jazyk) a Qt (knihovna) · Vidět víc »
Rust (programovací jazyk)
Rust je svobodný víceúčelový, multiparadigmatický, kompilovaný programovací jazyk, vyvinutý organizací Mozilla Research.
Nový!!: Haskell (programovací jazyk) a Rust (programovací jazyk) · 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ý!!: Haskell (programovací jazyk) a Scala (programovací jazyk) · Vidět víc »
Schulzeho metoda
Schulzeho metoda je volební systém navržený v roce 1997 Markem Schulzem.
Nový!!: Haskell (programovací jazyk) a Schulzeho metoda · Vidět víc »
SeL4
seL4 (Secure Embedded L4) je svobodné jádro operačního systému, přesněji mikrojádro třetí generace, zaměřené na vysokou bezpečnost a spolehlivost.
Nový!!: Haskell (programovací jazyk) a SeL4 · Vidět víc »
Seznam programovacích jazyků
Cílem tohoto seznamu programovacích jazyků je vytvořit přehled všech významných existujících programovacích jazyků, a to jak jazyků běžně používaných tak historických, a to v abecedním pořadí.
Nový!!: Haskell (programovací jazyk) a Seznam programovacích jazyků · Vidět víc »
Seznam webových aplikačních frameworků
Seznam Aplikačních frameworků pro webové aplikace podle použitého programovacího jazyka.
Nový!!: Haskell (programovací jazyk) a Seznam webových aplikačních frameworků · Vidět víc »
Smultron
Smultron je textový editor pro operační systém MacOS.
Nový!!: Haskell (programovací jazyk) a Smultron · Vidět víc »
Softwarový repozitář
Softwarový repozitář je v informatice označení pro místo, odkud mohou být staženy a nainstalovány softwarové balíčky.
Nový!!: Haskell (programovací jazyk) a Softwarový repozitář · Vidět víc »
Správce balíčků
APT Správce balíčků je v informatice nástroj pro správu software nainstalovaného v počítači.
Nový!!: Haskell (programovací jazyk) a Správce balíčků · Vidět víc »
Stráž
Pojem stráž se užívá ve více významech.
Nový!!: Haskell (programovací jazyk) a Stráž · Vidět víc »
Sublime Text
Sublime Text je multiplatformní editor textových souborů a zdrojového kódu psaný v C++ s programovým API v Pythonu.
Nový!!: Haskell (programovací jazyk) a Sublime Text · 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ý!!: Haskell (programovací jazyk) a Swift (programovací jazyk) · Vidět víc »
Syntaktický cukr
Syntaktický cukr je v informatice označení pro takovou část syntaxe programovacího jazyka, jejíž jediným účelem je usnadnit programátorovi zápis nějakých základních obratů.
Nový!!: Haskell (programovací jazyk) a Syntaktický cukr · Vidět víc »
Tacitní programování
Tacitní programování je programovací paradigma, založené na principu, že se v definicích funkcí nepoužívají pojmenované parametry a místo toho se funkce definují jako kombinace dalších funkcí, pomocí tzv.
Nový!!: Haskell (programovací jazyk) a Tacitní programování · Vidět víc »
Tk (framework)
Tk je svobodný multiplatformní widget toolkit s otevřenými zdrojovými kódy poskytující knihovnu základních ovládacích prvků pro tvorbu grafického uživatelského rozhraní (GUI) v různých programovacích jazycích.
Nový!!: Haskell (programovací jazyk) a Tk (framework) · Vidět víc »
Travis CI
Travis CI je webová služba podporující průběžnou integraci projektů hostujících repositáře na GitHubu.
Nový!!: Haskell (programovací jazyk) a Travis CI · 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ý!!: Haskell (programovací jazyk) 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ý!!: Haskell (programovací jazyk) a Typová kontrola · Vidět víc »
Typový systém
Typový systém lze v informatice definovat jako „tvárný syntaktický rámec pro klasifikování výrazů podle toho, jaký druh hodnoty vypočítávají“.
Nový!!: Haskell (programovací jazyk) a Typový systém · Vidět víc »
Void (datový typ)
Název void (anglicky prázdný) v informatice označuje dva odlišné datové typy.
Nový!!: Haskell (programovací jazyk) a Void (datový typ) · Vidět víc »
Volná monáda
Volná monáda je v teorii kategorií monáda vytvořená z funktoru s nejvolnější možnou strukturou.
Nový!!: Haskell (programovací jazyk) a Volná monáda · Vidět víc »
WxHaskell
wxHaskell je přenositelná knihovna pro grafického uživatelského rozhraní (GUI) v Haskellu, napsaná pod knihovnou wxWidgets.
Nový!!: Haskell (programovací jazyk) a WxHaskell · Vidět víc »
WxWidgets
wxWidgets („Windows and X widgets“, dříve známý jako wxWindows) je free software/open source multiplatformní widget toolkit.
Nový!!: Haskell (programovací jazyk) a WxWidgets · Vidět víc »
3APL
3APL (An Abstract Agent Programming Language) je programovací jazyk (a platforma) pro tvorbu agentů a multiagentních systémů.
Nový!!: Haskell (programovací jazyk) a 3APL · Vidět víc »