
25 Jun
2011
25 Jun
'11
10:14 a.m.
Interesting, I appreciate your point of view. My experience with Lazy IO is that its non-detereminism breaks down the algebraic/equational intuition. In order to manage handle resources, I must have in mind too many operational details. I feel that iteratee IO encapsulates these in nice compositional combinators. I agree that it's not very beautiful, though. My feeling is that it is not quite finished. Perhaps there are a couple of more insights that will make it really nice.
I think laziness (IO and otherwise) would be perfect if only it was visible somehow. Perhaps it could be signified by a type in some future Haskell? --vk