23 Oct
2015
23 Oct
'15
11:09 p.m.
On Sat, 2015-10-24 at 02:07 +0300, Yuras Shumovich wrote:
It could not be done by compiler because compiler doesn't not semantics. For example this post describes difficulties with exception handling in CPS monad.
Sorry, forgot to insert the actual link: http://www.yesodweb.com/blog/2014/05/exceptions-cont-monads