8 Aug
2013
8 Aug
'13
12:32 p.m.
On Thu, Aug 08, 2013 at 05:23:50PM +0100, Oliver Charles wrote:
On 08/08/2013 05:05 PM, Tom Ellis wrote:
On Thu, Aug 08, 2013 at 03:38:41PM +0200, Jerzy Karczmarczuk wrote:
One could simply implement IO as a free monad Interesting. I wonder how.
See [1] for an explanation of free monads in general
You're lacking a matching definition of [1] :)
Ah thank you! [1] http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.htm...