
15 Oct
2007
15 Oct
'07
11:02 a.m.
Peter Verswyvelen writes:
Yes, exactly, but how does one call the way of programming without monads / do notation then, explicitly passing the "object"? Does this approach have a name? Or just "non-monadic style"?
In the jargon of CPS, somehow related to Monads, the constructions which do not use continuations are often called in Direct Style. I think it can be exported to Monads in general. State Monad in particular. IO is different, you *cannot* make it non-monadic. Jerzy Karczmarczuk