Some languages support a special do notation that allows to express monadic
operations more naturally.
However, there is an even more powerful option, that I'd call in notation (I
came up with it, but it's obvious, so I'm sure there's some language that has
something like it).
The idea is
On Tue, Dec 24, 2013 at 11:23 AM, Bill Myers bill_my...@outlook.com wrote:
Some languages support a special do notation that allows to express monadic
operations more naturally.
However, there is an even more powerful option, that I'd call in notation
(I came up with it, but it's obvious,
Every time that we've added magic, we've lived to regret it and ultimately
revert it. If there exists only a single lesson of the past few years of
language evolution, let it be this.
Furthermore, any discussions of monads and/or HKT are pie-in-the-sky at
this point. Our complexity budget is
