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"
Citace od: v kdy 22. 06. 2018, 22:47:10
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š.
Citace od: Gődel kdy 23. 06. 2018, 10:55:09
Citace od: v kdy 22. 06. 2018, 22:47:10
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?
Citace od: Gődel kdy 23. 06. 2018, 10:55:09
Citace od: v kdy 22. 06. 2018, 22:47:10
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.
Citace od: Gődel kdy 23. 06. 2018, 10:55:09
Citace od: v kdy 22. 06. 2018, 22:47:10
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ě."
Citace od: uetoyo kdy 23. 06. 2018, 21:19:23
Citace od: Gődel kdy 23. 06. 2018, 10:55:09
Citace od: v kdy 22. 06. 2018, 22:47:10
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.
Citace od: Heinrich Kleisli 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.
Jak vidno, něco vysvětlit neumí každý.
Citace od: Heinrich Kleisli 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.
Jenže otázka zněla na operátor. Doporučuju kurzy čtení.
Citace od: Gődel kdy 24. 06. 2018, 00:32:43
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.
Citace od: žeby? kdy 24. 06. 2018, 22:55:45
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.
Citace od: Heinrich Kleisli kdy 23. 06. 2018, 23:49:35
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.