16 Dec
2012
16 Dec
'12
9:17 p.m.
Hi,
On Sun, Dec 16, 2012 at 6:47 AM, Andreas Abel
I think even if you
- made all keys and values strict that could end up in the map - made all keys and values strict that could end up being compared to keys/values from a map
then still there would be no reason to make the default argument in findWithDefault strict.
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). -- Johan