As of May 31, 2023, we have updated our Code of Conduct.

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).

Filter by
Sorted by
Tagged with
0 votes
0 answers
17 views

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
0 votes
0 answers
23 views

resources about programming language theory,topics: zipper and monads

I am in need of exercises and solutions about these topics in programming language theory with ocaml, zippers and monads, I can't find much on google, or I am missing something?
Papa's user avatar
  • 1
1 vote
1 answer
66 views

Are monads a unification of a number of computer science concepts?

The following commentator writes: Monads are a unification of a bunch of computer stuff, including sequencing, IO, non-determinism, state, concurrency and exceptions. When I say "unification&...
hawkeye's user avatar
  • 1,199