Kleisliho operátor

[Kiddo]

Umí někdo lidsky vysvětlit, co je Kleisliho operátor? Nejlépe na nějakém příkladu, protože popis na wiki je tak abstraktní, že mi s pochopením nepomáhá.

[Reklama]

[Wavelet]

https://fsharpforfunandprofit.com/posts/elevated-world-3/#kleisli

[v]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

[Gődel]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.

[v]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.

je dost dobře možné, že jsem dotaz pochopil špatně, takže co je zač ten operátor, když ne ryba?

[Reklama]

[Cooper]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.

Kdyz tomu rozumis tak se vyjadri k otazce. Kdyz jenom prudis tak diskutery seres.

[Wavelet]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.

Jak už někdo psal. Když tomu rozumíte, proč to rovnou nevysvětlíte? Pokud ale odpovědí nemělo být, že to jak složité že tomu porozumí jen Gődel  .

"Je to dům pana Fregeho? Ne, to je zahrada pana Fregeho. Aha, a nevíte jestli je pan Frege doma? Není, pan Frege je v zahradě."

[tajnej]

kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.

Jak už někdo psal. Když tomu rozumíte, proč to rovnou nevysvětlíte? Pokud ale odpovědí nemělo být, že to jak složité že tomu porozumí jen Gődel  .

"Je to dům pana Fregeho? Ne, to je zahrada pana Fregeho. Aha, a nevíte jestli je pan Frege doma? Není, pan Frege je v zahradě."

Ty jsi tu asi novej, co? Tohle dělá roky, protože má nějakou poruchu a hrozně ho baví sem cpát to co zrovna umí a tvářit se, pokud to neumíš, že jsi blbec. Tak jako proč ne, no. Každý si nedostatek inteligence kompenzuje jinak.

[Heinrich Kleisli]

Co na tom nechapes?

Let 〈T, η, μ〉 be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given by

Obj(CT) = Obj(C),
Hom_CT(X,Y) = Hom_C(X,TY)

Sorry jako, ale to jsou zcela trivialni pojmy.

[BoneFlute]

Co na tom nechapes?

Let 〈T, η, μ〉 be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given by

Obj(CT) = Obj(C),
Hom_CT(X,Y) = Hom_C(X,TY)

Sorry jako, ale to jsou zcela trivialni pojmy.

Jak vidno, něco vysvětlit neumí každý.

[Gődel]

Co na tom nechapes?

Let 〈T, η, μ〉 be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given by

Obj(CT) = Obj(C),
Hom_CT(X,Y) = Hom_C(X,TY)

Sorry jako, ale to jsou zcela trivialni pojmy.

Jenže otázka zněla na operátor. Doporučuju kurzy čtení.

[Kit]

Jenže otázka zněla na operátor. Doporučuju kurzy čtení.

Jenže ať to čtu jak chci, tvé vysvětlení Kleisliho operátoru tu stále nevidím. Že ty ho před námi tajíš?

[žeby?]

Monads give you a special kind of composition called "Kleisli composition", written as the (<=<) operator.

[JSH]

Monads give you a special kind of composition called "Kleisli composition", written as the (<=<) operator.

To tu ale v psal a byl za to zdrbán. On sice zmínil opačnou "rybu", ale ta má akorát přehozené parametry.

[Géomètre]

Let 〈T, η, μ〉 be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given by

Obj(CT) = Obj(C),
Hom_CT(X,Y) = Hom_C(X,TY)

Sorry jako, ale to jsou zcela trivialni pojmy.

Jasně, takže jde o compactMap.