16 vztahy: Asociativita, C++, Continuation, Datový typ, Druh (teorie typů), Funkcionální programování, Funktor, Haskell (programovací jazyk), Monoid, Přirozená transformace, Polymorfismus (programování), Referenční průhlednost, Třída (programování), Tenzor, Teorie kategorií, Volná monáda.
Asociativita
Asociativita je v algebře vlastnost binární operace, spočívající v tom, že nezáleží, jak použijeme závorky u výrazu, kde je více operandů, v jakém pořadí budeme tedy tento výraz počítat.
Nový!!: Monáda (funkcionální programování) a Asociativita · 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ý!!: Monáda (funkcionální programování) a C++ · Vidět víc »
Continuation
Continuation, česky pokračování, se jako speciální pojem užívá při programování počítačů, kde se chápe jako abstraktní reprezentace okamžitého stavu vykonávání nějakého programu.
Nový!!: Monáda (funkcionální programování) a Continuation · 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ý!!: Monáda (funkcionální programování) a Datový typ · Vidět víc »
Druh (teorie typů)
Druh je v teorii typů "typ typu".
Nový!!: Monáda (funkcionální programování) a Druh (teorie typů) · 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ý!!: Monáda (funkcionální programování) a Funkcionální programování · Vidět víc »
Funktor
Funktor je pojem z matematiky, konkrétněji z teorie kategorií.
Nový!!: Monáda (funkcionální programování) a Funktor · 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ý!!: Monáda (funkcionální programování) a Haskell (programovací jazyk) · Vidět víc »
Monoid
Schéma vztahů mezi algebraickými strukturami. Výchozí je grupoid (anglicky magma) s jednou uzavřenou operací. Přidáváním dalších podmínek vznikají např. pologrupa (semigroup) a kvazigrupa (quasigroup). V algebře je monoid algebraická struktura s jednou asociativní binární operací a neutrálním prvkem.
Nový!!: Monáda (funkcionální programování) a Monoid · Vidět víc »
Přirozená transformace
V teorii kategorií je přirozená transformace způsob, jakým se navzájem transformují dva funktory mezi stejnými kategoriemi tak, že se zachovává vnitřní struktura (tzn. skládání morfismů) příslušných kategorií.
Nový!!: Monáda (funkcionální programování) a Přirozená transformace · Vidět víc »
Polymorfismus (programování)
Polymorfismus je vlastnost programovacího jazyka, objektově orientovaného programování (OOP), která umožňuje.
Nový!!: Monáda (funkcionální programování) a Polymorfismus (programování) · 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ý!!: Monáda (funkcionální programování) a Referenční průhlednost · Vidět víc »
Třída (programování)
Třída je základní konstrukční prvek objektově orientovaného programování sloužící jako předpis pro vznik objektu jako instance třídy.
Nový!!: Monáda (funkcionální programování) a Třída (programování) · Vidět víc »
Tenzor
Tenzor je v matematice objekt, který je zobecněním pojmu vektor.
Nový!!: Monáda (funkcionální programování) a Tenzor · Vidět víc »
Teorie kategorií
Teorie kategorií je odvětví matematiky zobecňující pohled na matematické struktury a vztahy mezi nimi.
Nový!!: Monáda (funkcionální programování) a Teorie kategorií · 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ý!!: Monáda (funkcionální programování) a Volná monáda · Vidět víc »