kompozice monadických akcí analogická kompozici funkcínapř.dumpFile = readFile >=> putStrLndumpFile "hello.txt"
Citace: v 22. 06. 2018, 22:47:10kompozice monadických akcí analogická kompozici funkcínapř.dumpFile = readFile >=> putStrLndumpFile "hello.txt" Když tomu nerozumíš, tak se k tomu nevyjadřuj, jen tazatele mateš.
Citace: Gődel 23. 06. 2018, 10:55:09Citace: v 22. 06. 2018, 22:47:10kompozice monadických akcí analogická kompozici funkcínapř.dumpFile = readFile >=> putStrLndumpFile "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ě."
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 byObj(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í.
Monads give you a special kind of composition called “Kleisli composition”, written as the (<=<) operator.
Let 〈T, η, μ〉 be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given byObj(CT) = Obj(C),Hom_CT(X,Y) = Hom_C(X,TY)Sorry jako, ale to jsou zcela trivialni pojmy.