---
title: "monad"
source: https://www.jemoka.com/posts/kbhmonad/
---

We can abstract common part of language features such as state and exception. It allows programming these features in pure lambda calculus.
A monad \(M a\) is an abstract type&mdash;
the &ldquo;normal&rdquo; type is \(a\), and we have the semantics hidden in \(M\).
return: \(a \to Ma\) bind: \(M a \to (a \to M b) \to M b\) &mdash; it takes a monad, a function that takes the unwrapped thing and hands back a new monad, and returns that bind is written with \(v \gg = f\) for monad \(v\) and function \(f: a\to M b\)
discussion Monads were used to explain stuff like state within Church theories; so languages are &ldquo;core functional parts with monadic exceptions&rdquo;&mdash;there&rsquo;s a set of monads which is built in, like state, exceptions, concurrencies, ec.
upsides &ldquo;just programming&rdquo;: users can write their own monads fairly ubiquitous in haskall downsides programs using return and bind tends to be contagious performance is bad: no free lunch stuff ends up looking like C++ state monad return: a -&gt; Ma = \(\lambda v. \lambda s . (v,s)\) (just give us the state transformer) p &gt;&gt;= f: Ma -&gt; (a -&gt; Mb) -&gt; Mb = \(\lambda s . let (v, s&rsquo;) = (p\ s)\ \text{in}\ f\ v\ s&rsquo;\) &ldquo;run p first against some state, get new state s&rsquo; and resulting value, then apply this value to \(f\), and then run it on the new state; notice that this whole thing takes a state&rdquo;
exceptions Exceptional e a = Success a | Exception e the monad:
monad M = Exceptional e return := Success bind:
&gt;&gt;= :: M a -&gt; (a -&gt; M b) -&gt; M b v &gt;&gt;= f = case v of Exception I -&gt; Exception I Success r -&gt; f r throw:
throw = Exception catch:
catch e h = case e of Exception I -&gt; h I Success r -&gt; Success r partial functions \(Maybe(a)\), that is Option
head: List(a) -&gt; Maybe(a) div: int -&gt; int -&gt; Maybe(int) because these things may fail r not exist.
Maybe a = Just a | Nothing Composition:
lx.let y = f x in case y of Nothing: Nothing Just v: g(v) Notice how the above is tedious. We will then make this a monad.
monad M = Maybe return: Just
bind
with \(v: Ma\), \(f: a \to Mb\)
v &gt;&gt;= f = case v of Nothing -&gt; Nothing Just x -&gt; f x which means that we can write the above function:
lx.x &gt;&gt;= f &gt;&gt;= g head of list head x = case x of Nil: Nothing Cons(a,as): Just(a) taking the head of the head of the list
λ l. return l &gt;&gt;= head &gt;&gt;= head
