Fórum Root.cz
Hlavní témata => Vývoj => Téma založeno: Kiddo 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á.
-
https://fsharpforfunandprofit.com/posts/elevated-world-3/#kleisli
-
kompozice monadických akcí analogická kompozici funkcí
např.
dumpFile = readFile >=> putStrLn
dumpFile "hello.txt"
-
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š.
-
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?
-
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.
-
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ě."
-
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.
-
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.
-
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ý.
-
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í.
-
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íš?
-
Monads give you a special kind of composition called “Kleisli composition”, written as the (<=<) operator.
-
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.
-
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.