1 Mar
2009
1 Mar
'09
6:29 p.m.
Hello, I'm not sure that I would call it a general-purpose resource preserving technique. As I understand it, the general concept is a means to handle strict data processing in a functional manner. Any "resource preserving" that comes from this is actually from the use of strict IO rather than lazy. I actually think it's rather like foldl' compared to foldl. John On Sat, Feb 28, 2009 at 11:16 PM, G?uenther Schmidt <redcom@fedoms.com> wrote:
So I was hopeful the above mentioned left-fold-enumerator was some sort of general purpose resource preserving technique. I'm looking forward to study its implementation in the future release of takusen and see if I grasp it enough to translate it to other problems as well.