Kleisliho operátor

Kiddo

Kleisliho operátor
« kdy: 22. 06. 2018, 18:10:48 »
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á.



v

Re:Kleisliho operátor
« Odpověď #2 kdy: 22. 06. 2018, 22:47:10 »
kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"

Gődel

Re:Kleisliho operátor
« Odpověď #3 kdy: 23. 06. 2018, 10:55:09 »
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

Re:Kleisliho operátor
« Odpověď #4 kdy: 23. 06. 2018, 11:58:01 »
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?


Cooper

Re:Kleisliho operátor
« Odpověď #5 kdy: 23. 06. 2018, 20:45:52 »
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.

Re:Kleisliho operátor
« Odpověď #6 kdy: 23. 06. 2018, 21:19:23 »
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  ;D.

"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

Re:Kleisliho operátor
« Odpověď #7 kdy: 23. 06. 2018, 21:23:39 »
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  ;D.

"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? ;D 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

Re:Kleisliho operátor
« Odpověď #8 kdy: 23. 06. 2018, 23:49:35 »
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

  • *****
  • 1 981
    • Zobrazit profil
Re:Kleisliho operátor
« Odpověď #9 kdy: 23. 06. 2018, 23:52:37 »
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

Re:Kleisliho operátor
« Odpověď #10 kdy: 24. 06. 2018, 00:32:43 »
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

Re:Kleisliho operátor
« Odpověď #11 kdy: 24. 06. 2018, 09:38:52 »
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?

Re:Kleisliho operátor
« Odpověď #12 kdy: 24. 06. 2018, 22:55:45 »
Monads give you a special kind of composition called “Kleisli composition”, written as the (<=<) operator.

JSH

Re:Kleisliho operátor
« Odpověď #13 kdy: 24. 06. 2018, 23:09:34 »
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

Re:Kleisliho operátor
« Odpověď #14 kdy: 10. 07. 2018, 19:30:10 »
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.