Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

What's the idiomatic way to handle multiple `Option<T>` in Rust?

rust monads option maybe

Linking/Combining Type Classes in Haskell

haskell monads typeclass

Is Applicative IO implemented based on functions from Monad IO?

haskell monads applicative

Are there already built in functional C#/.NET constructs like these? g(h()), or

Working with the `MonadBaseControl` API

Why is it impossible to Applicative-traverse arrays? (Or is it?)

Infinite loop in bubble sort over Traversable in Haskell

Using Scala's Delimited Continuations for implicit Monads

scala monads continuations

Monadic .NET Types

c# .net haskell monads

Monadic fold with State monad in constant space (heap and stack)?

Is there a way to flatten nested monads of different types?

Feeding a monadic expression into unless or when

haskell monads

A parallel monad map in Haskell? Something like parMapM?

In a monad transformer, why is the known monad the inner one?

Partiality Monad Transformer

haskell monads

IORef in Haskell

haskell monads ioref

What is the relationship between bind and join?

Is IO a Free Monad?

haskell io monads free-monad

Why does GHCI get "stuck" in an error state after an error?

haskell monads io-monad

Any methods for recovering enough laziness to tie the knot in a monad?