Questions tagged [monad]

In functional programming, a monad is an abstraction that allows structuring programs generically. Supporting languages may use monads to abstract away boilerplate code needed by the program logic. Monads achieve this by providing their own data type (a particular type for each type of monad).

3 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
1 answer

What is the object translating part of a monadic endofunctor?

A monad is an endofunctor $T:C\rightarrow C$ with natural transformations $\eta:id_C\rightarrow T$ and $\mu:T^2\rightarrow T$. Being natural transformations mean that $$T(f)\circ \eta_A = \eta_B\circ ...
Gergely's user avatar
  • 359
1 vote
0 answers

Mathematical explanation of the usage of monads to wrap data for avoiding errors

For the past two days I have been on a question to understand monads in the context of Haskell. A nice explanation I found is by Graham Hutton on the Computerphile channel see here. This explanation ...
Reine Abstraktion's user avatar
0 votes
0 answers

Beta reduction and sequence of effect

The famous Monad is well known for handling effect in a functionally pure manner (e.g. IO Monad). On the other hand, in some application, runtime performance is the utmost interest and the compile ...
chanwoo ahn's user avatar