Monadic Bang: A plugin for more concise do-block notation, inspired by Idris

[atravers]

Before we’re all buried in syntactic sugar:

callbyeffect.pdf

^{(page 15 of 17)}
Furthermore we cannot express control operators such as if as functions. In Haskell, one may write:

tester True yes no = yes
tester False yes no = no

In a call by effect setting, any side effects of either yes or no will occur, which is almost surely not the intention of the programmer.

Problems like these could be why Idris is a strict language…