Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in monads

The list monad is not a free monad but …

haskell monads agda category-theory free-monad

Writing a function (a -> b -> ... -> t) -> (Monad m => m a -> m b -> ... -> m t)

haskell types monads type-families

Why don't Python's any/all return the found objects?

python monads any

How to work with all the monadic structures when they are nested deep?

scala monads

How to convert a std::optional to a std::expected?

c++ functional-programming monads c++23

Implementing this monad/type in Haskell?

haskell monads

Create a list using do syntax?

haskell monads

How can I write a function `run` that calls `runStateT` or `runReaderT`?

haskell monads typeclass monad-transformers

What is the relationship between monad functions dist and join in Haskell?

haskell monads

Does Scala intelligently terminate calculating OR expressions for fold operations?

scala apache-spark collections monads

Why does join . (flip fmap) have type ((A -> B) -> A) -> (A -> B) -> B?

haskell types monads functor

Difference between Monads and Functions

function functional-programming monads

How to get Reader and ReaderT to work together

haskell monads

Using State Monad turns all of my functions into monadic functions

haskell monads state-monad

"Couldn't match type `Maybe' with `IO' Expected type: IO String Actual type: Maybe String" In Haskell

haskell monads option-type

Couldn't match type ‘a’ with ‘b’error in Monad instance definition

haskell monads functor monad-transformers applicative

Can I represent non-sequential/parallel execution with Monads?

scala haskell monads applicative

Can I say that Monad makes it possible to see some types as isomorphic?

haskell monads isomorphic

Why is `forever` in Haskell implemented this way?

haskell functional-programming monads lazy-evaluation

difficulty about passing function returning functor or monad type

scala functional-programming monads functor
« Newer Entries Older Entries »