
8 Mar
2011
8 Mar
'11
11:05 p.m.
On Wed, Mar 2, 2011 at 12:00 AM, Stephen Tetley
Maybe you've invented the ApoPrelude?
If I were doing it I'd probably code them in terms of an apomorphism - unfoldr with flush. Unlike regular unfoldr which discards the final state, an apomorphism uses the final state to produce the tail of the output list. See Jeremy Gibbons paper "Streaming representation-changers" section 4.4.
Interesting, thanks for the link. Indeed it looks like a special case of a general concept someone has already gotten a fair bit of milage out of :)