17 Dec
2012
17 Dec
'12
2:55 a.m.
On Sun, Dec 16, 2012 at 5:02 PM, Edward Z. Yang
Excerpts from Johan Tibell's message of Mon Dec 17 05:17:22 +0800 2012:
We still need a clear policy how to handle these kind of function and other functions that don't directly insert things into maps (e.g. folds).
Strictness of accumulators is something of an orthogonal issue to strictness of the maps; i.e. a strict fold can be useful for both strict and lazy maps.
I know. I'm trying to communicate that we ought to be thinking about the library holistically, not from the perspective of a single function that happens to not fulfill someones use case at some given day.