
10 Oct
2012
10 Oct
'12
5:34 a.m.
jeff p
I've always thought that the essence of iteratees is just CPS
for sure, at some level of abstraction this ought to be true, since CPS simulates call-by-value in a call-by-name language, cf. Gordon Plotkin: Call-by-Name, Call-by Value and the Lambda Calculus TCS , Vol. 1, pp. 125-159, http://homepages.inf.ed.ac.uk/gdp/publications/ and the purpose of iteratee is to "provide strict [...] I/O" http://hackage.haskell.org/package/iteratee-0.8.9.4 J.W.