11 vztahy: Funkcionální programování, Funktor, Generické programování, Izomorfismus, Kategorie funktorů, Komutativní diagram, Monadický operátor, Monáda (funkcionální programování), Morfismus, Programovací jazyk, Teorie kategorií.
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ý!!: Přirozená transformace a Funkcionální programování · Vidět víc »
Funktor
Funktor je pojem z matematiky, konkrétněji z teorie kategorií.
Nový!!: Přirozená transformace a Funktor · Vidět víc »
Generické programování
Základní myšlenkou, která se skrývá za pojmem generické programování, je rozdělení kódu programu na algoritmus a datové typy takovým způsobem, aby bylo možné zápis kódu algoritmu chápat jako obecný, bez ohledu nad jakými datovými typy pracuje.
Nový!!: Přirozená transformace a Generické programování · Vidět víc »
Izomorfismus
Izomorfismus je zobrazení mezi dvěma matematickými strukturami, které je vzájemně jednoznačné (bijektivní) a zachovává všechny vlastnosti touto strukturou definované.
Nový!!: Přirozená transformace a Izomorfismus · Vidět víc »
Kategorie funktorů
Kategorie funktorů je kategorie, jejíž objekty jsou funktory z kategorie C do kategorie D. Jde-li o stejnou kategorii, jedná se o kategorii endofunktorů.
Nový!!: Přirozená transformace a Kategorie funktorů · Vidět víc »
Komutativní diagram
Příklad komutativního diagramu (lemma pěti) Komutativní diagram je v teorii kategorií graf, jehož všechny (orientované) cesty z jistého vrcholu A do jiného vrcholu B reprezentují stejný morfismus.
Nový!!: Přirozená transformace a Komutativní diagram · 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ý!!: Přirozená transformace 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ý!!: Přirozená transformace a Monáda (funkcionální programování) · Vidět víc »
Morfismus
Morfismus je v matematice, zvláště v teorii kategorií, zobrazení jedné matematické struktury do jiné stejného typu, které zachovává příslušnou strukturu.
Nový!!: Přirozená transformace a Morfismus · 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ý!!: Přirozená transformace a Programovací jazyk · Vidět víc »
Teorie kategorií
Teorie kategorií je odvětví matematiky zobecňující pohled na matematické struktury a vztahy mezi nimi.
Nový!!: Přirozená transformace a Teorie kategorií · Vidět víc »