Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Is there a generic way to decompose the free comonad over a failure monad into a “values stream and final error”?

Error handling in Haskell with Either monad

Calling an IO Monad inside an Arrow

opengl haskell monads arrows hxt

Is a bindable functor a useful abstraction for more type safe DSLs?

haskell monads dsl

Custom state in Trifecta

Haskell -- Timing out computations in the Rand monad

What's an idiomatic way of handling a lazy input channel in Haskell

haskell state monads irc

Relation of free monad and AST

How do I combine Result and State in Elm?

StateT over Cont. Why is my state not being reset?

Type-level monoid-like operations for generalizing indexed monads?

How to cleanly convert between lists and ListT monad transformers?

Can I use monads with clojurescript?

How do you reason about the order of execution of functions in a monadT stack?

Is this an implementation of a fixpoint combinator?

Excessive garbage collection (and memory use?)

How do I convert a list monadic function to a breadth-first search?

Understanding monad transformers in Scala

scala monads

Why would validation break the monad laws?

Modifying immutable substructures