7 Nov
2007
7 Nov
'07
9:43 p.m.
On Thu, 2007-11-08 at 13:21 +1100, Tim Docker wrote:
levi.stephen wrote:
My concern (which may be inexperience ;) ) is with the monads here though. What if I hadn't seen that the IO monad (or any other Monad) was going to be necessary in the type signatures?
You'd have some refactoring to do :-)
http://www.cs.kent.ac.uk/projects/refactor-fp/catalogue/Monadification1.html