19 Aug
2013
19 Aug
'13
2:41 p.m.
On Mon, Aug 19, 2013 at 02:20:23PM -0400, jabolopes@google.com wrote:
Yeah, non-monadic is not the best term... The problem is that it's always so hard to communicate when you want to say a total function that is not in the context of the IO monad. There should be a simple, short name for these functions, so we can easily talk about them.
Why, what would be different in your question for a non-total function or one in the context of the IO monad? Tom