Commit 67323a47 authored by Alan H's avatar Alan H

Change wording in monad post

parent decdfdba
Pipeline #79588386 passed with stage
in 5 minutes and 48 seconds
......@@ -232,9 +232,9 @@ identity:
(Associativity)
- `compose id f`{.ocaml} = `compose f id`{.ocaml} = `f`{.ocaml} (Identity)
The category-theoretic explanation is that every monad gives rise to a "Kleisli
category." Intuitively, this just means that `(<=<)`{.ocaml} is similar to
`compose`{.ocaml} and `return` is similar to `id`{.ocaml}.
The category-theoretic explanation is that every monad has an associated
"Kleisli category." Intuitively, this just means that `(<=<)`{.ocaml} is similar
to `compose`{.ocaml} and `return` is similar to `id`{.ocaml}.
Why do people care about monads so much? When a monadic value is flattened, some
kind of computation can happen, and therefore people use monads to achieve
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment