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

Monáda (funkcionální programování)

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

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 »

Přesměrování zde:

Monáda (endofunktor).

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