Programovanie a modne trendy?

[Ondra.]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

[Reklama]

[Aoidhghean]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

[v]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

[Aoidhghean]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

V podstatě ano, kromě variadických. Akorát je otázka, v jaké kategorii ten funktor je, to může být různé.

[v]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

V podstatě ano, kromě variadických. Akorát je otázka, v jaké kategorii ten funktor je, to může být různé.

no psal jste o kategorii typů, dál je tu otázka co myslíte funktorem

[Reklama]

[Aoidhghean]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

V podstatě ano, kromě variadických. Akorát je otázka, v jaké kategorii ten funktor je, to může být různé.

no psal jste o kategorii typů, dál je tu otázka co myslíte funktorem

Funktor má matematicky jasnou definici (viz třeba Wikipedie). Když pominu variadické šablony, tak každá šablona je funktor. Kategorie, na kterých tyto funktory operují, tvoří hierarchii, nicméně většina kódu (99,9%?) se nejspíše pohybuje jen v kategorii typů, to je té nejnižší. Tyto typy se někdy zvou konkrétní a jejich druh (kind) je *. Funktory nad nimi jsou pak druhu *->* (hvězdičky v této standardní notaci označují konkrétní typy). Klidně můžu mít třeba bifunktor *->*->*. Jakmile mám ale například (*->*)->*, jsem už mimo kategorii typů a příslušný funktor není endofunktor (příkladem budiž “template template” v C++).

[v]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

V podstatě ano, kromě variadických. Akorát je otázka, v jaké kategorii ten funktor je, to může být různé.

no psal jste o kategorii typů, dál je tu otázka co myslíte funktorem

Funktor má matematicky jasnou definici (viz třeba Wikipedie). Když pominu variadické šablony, tak každá šablona je funktor. Kategorie, na kterých tyto funktory operují, tvoří hierarchii, nicméně většina kódu (99,9%?) se nejspíše pohybuje jen v kategorii typů, to je té nejnižší. Tyto typy se někdy zvou konkrétní a jejich druh (kind) je *. Funktory nad nimi jsou pak druhu *->* (hvězdičky v této standardní notaci označují konkrétní typy). Klidně můžu mít třeba bifunktor *->*->*. Jakmile mám ale například (*->*)->*, jsem už mimo kategorii typů a příslušný funktor není endofunktor (příkladem budiž “template template” v C++).

pokud funktorem není myšlen objekt implementující operátor volání, tak se tím obvykle myslí kovariantní funktor...

[Aoidhghean]

V IT taky můžu vysvětlit generické typy správně a precizně pomocí funktorů.

Tak davej, davej, rad se neco priucim. Staci odkaz na priklad s obrazky.

Obrázky jsou pro děti. Jinak se to tu už probíralo dostatečně, generický typ je (endo)funktor (nebo bifunktor, tri- apod. podle počtu parametrů) v kategorii typů. Případně se dá jít výše a uvažovat endofunktor v kategorii funktorů, ale to je jen pro fajnšmekry (a většina jazyků to stejně neumí) - viz článek Generics of higher kind.

čistě intuitivně se mi nezdá, že by každá šablona mohla být funktor...

V podstatě ano, kromě variadických. Akorát je otázka, v jaké kategorii ten funktor je, to může být různé.

no psal jste o kategorii typů, dál je tu otázka co myslíte funktorem

Funktor má matematicky jasnou definici (viz třeba Wikipedie). Když pominu variadické šablony, tak každá šablona je funktor. Kategorie, na kterých tyto funktory operují, tvoří hierarchii, nicméně většina kódu (99,9%?) se nejspíše pohybuje jen v kategorii typů, to je té nejnižší. Tyto typy se někdy zvou konkrétní a jejich druh (kind) je *. Funktory nad nimi jsou pak druhu *->* (hvězdičky v této standardní notaci označují konkrétní typy). Klidně můžu mít třeba bifunktor *->*->*. Jakmile mám ale například (*->*)->*, jsem už mimo kategorii typů a příslušný funktor není endofunktor (příkladem budiž “template template” v C++).

pokud funktorem není myšlen objekt implementující operátor volání, tak se tím obvykle myslí kovariantní funktor...

Přesně, jde o kovariantní funktory.

[v]

Přesně, jde o kovariantní funktory.

no a ne každá šablona (s jedním parametrem) je kovariantní funktor

[zboj]

Přesně, jde o kovariantní funktory.

no a ne každá šablona (s jedním parametrem) je kovariantní funktor

Od kdy ne?

[v]

Přesně, jde o kovariantní funktory.

no a ne každá šablona (s jedním parametrem) je kovariantní funktor

Od kdy ne?

na to neumím odpovědět
kdyby někoho zajímal příklad, tak mám za to, že v c++ to je např. http://en.cppreference.com/w/cpp/utility/rel_ops/operator_cmp
a v haskellu pak např. hackage.haskell.org/package/contravariant
(a možná kontejner set?)

[Brambor]

Tak jsem přešetl pár listů tohodle vlákna a začlo se mi mlžit před očima. Jaká móda? Jestli hledáš módu, debatuj o nových adidaskách, nebo o čivavách. Jazyk, který se používá, se používá nejčastěji proto, že je na pořadované řešení nejefektivnější(nebo jeden z). Co se s dobou mění, je akorát % programátorů, kteří inklinujou k nějakému jazyku, a to je osobní preference.

[Ondra.]

Tak jsem přešetl pár listů tohodle vlákna a začlo se mi mlžit před očima. Jaká móda? Jestli hledáš módu, debatuj o nových adidaskách, nebo o čivavách. Jazyk, který se používá, se používá nejčastěji proto, že je na pořadované řešení nejefektivnější(nebo jeden z). Co se s dobou mění, je akorát % programátorů, kteří inklinujou k nějakému jazyku, a to je osobní preference.

Ale kdeze, programuje se v tom, co hezky mlady Rus v cernem rolaku prezentuje na cool konferenci. To, ze to neni nove ani lepsi je uz jedno.

[Kit]

Tak jsem přešetl pár listů tohodle vlákna a začlo se mi mlžit před očima. Jaká móda? Jestli hledáš módu, debatuj o nových adidaskách, nebo o čivavách. Jazyk, který se používá, se používá nejčastěji proto, že je na pořadované řešení nejefektivnější(nebo jeden z). Co se s dobou mění, je akorát % programátorů, kteří inklinujou k nějakému jazyku, a to je osobní preference.

Dnešním módním trendem je funkcionální programování včetně teorie kategorií. Čím méně srozumitelně podané, tím víc cool.

[Aoidhghean]

Tak jsem přešetl pár listů tohodle vlákna a začlo se mi mlžit před očima. Jaká móda? Jestli hledáš módu, debatuj o nových adidaskách, nebo o čivavách. Jazyk, který se používá, se používá nejčastěji proto, že je na pořadované řešení nejefektivnější(nebo jeden z). Co se s dobou mění, je akorát % programátorů, kteří inklinujou k nějakému jazyku, a to je osobní preference.

Dnešním módním trendem je funkcionální programování včetně teorie kategorií. Čím méně srozumitelně podané, tím víc cool.

FP je koncepčně jednoduché, že vychází z matematiky je obecně výhoda, když člověk není totální pako i na trojčlenku.