
3 Mar
2010
3 Mar
'10
7:44 a.m.
Message: 6 Date: Wed, 3 Mar 2010 14:23:21 +0200 From: Yitzchak Gale
Subject: Re: Proposed additions to Data.Map: lookupFloor and lookupCeiling All of those approaches have the same asymptotic behavior. The question is, how many different functions do we need in this library to improve the coefficient in various special cases?
Now that I have become aware of the feature creep that is affecting this library, I am opposed to adding these functions. Enough is enough.
But here's another idea: put the internal workings into a separate module called Data.Map.Internals that exports everything, and have Data.Map re-export only the stable public API.
+1 John