
2 Mar
2011
2 Mar
'11
3 a.m.
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. http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/