Tag: monad


Found 32 results for 'monad'.


1) data-streams - Are the `ArrowApply` and `Monad` typeclasses equivalent?
2) ct.category-theory - What are values relative to Hask?
3) lo.logic - What logic correponds via Curry-Howard to a Monad?
4) ct.category-theory - What are the morphisms of Adj(C,T) - the category whose objects are the adjunctions of a given monad?
5) functional-programming - Should databases be viewed as Monads?
6) pl.programming-languages - Aren't Monads F-Algebra's? And then if that could be said are Comonad's F-Coalgebra's?
7) pl.programming-languages - What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)?
8) functional-programming - Critique of the IO monad being viewed as a state monad operating on the world
9) ct.category-theory - Is there a concept of something like co-applicative functors sitting between comonads and functors?
10) functional-programming - Different ways to see a monad
11) type-theory - Non-termination, strict positivity and free monads
12) type-theory - Explaining monad transformers in categorical terms
13) reference-request - What's the difference between Moggi's computational metalanguage and Moggi's lambda calculus?
14) ct.category-theory - Moggi's computational metalanguage
15) design-patterns - Why does a monad use "return" or "unit" rather than "lift"?
16) functional-programming - Better to use error monad with validation in your monadic functions, or implement your own monad with validation directly in your bind?
17) functional-programming - How Does The Maybe Monad Relate To The Option Type?
18) design-patterns - What is the "Free Monad + Interpreter" pattern?
19) functional-programming - What's the proper way to think about state monads?
20) functional-programming - What's the value of IO Monad?
21) c# - Either Monad and Exceptional Circumstances
22) haskell - Imperative parallels to Haskell's Monad operations
23) design-patterns - How is the UnitOfWork pattern related to Monadic programming?
24) haskell - What monad is the opposite of the error monad in haskell
25) monad - Why doesn't monad take `(M a -> M b)`?
26) javascript - Minimal programmer's definition of a monad
27) c# - Verbose Return Types
28) unit-testing - How can the `log` function be used for formal verification
29) javascript - When does a Monad become a hammer?
30) java - Is this a monad in Java? (part 2)
31) functional-programming - FP Free Monad vs OOP Dependency Injection
32) c - What is this programming style? "Monoid-ic"?