Proposal: Value strict versions of containers

[Edward Z. Yang]

It's tough to say, because the ~ross link is broken.  If a user-controlled
value is forced, even if it's a container like Maybe or a tuple, then
strict versions of the functions can be implemented user-side.  Otherwise,
it's orthogonal.

Cheers,
Edward

Excerpts from Henning Thielemann's message of Sat May 21 13:37:10 -0400 2011:
> 
> On Sat, 21 May 2011, Edward Z. Yang wrote:
> 
> > As it stands, we have strict functions for certain operations, such as
> > insertWith.  But this current selection is somewhat arbitrary.  For
> > illustrative purposes, here are other functions that ought to be strictified in
> > IntMap, because there is no easy way for a user to implement them.
> 
> Is it possible to solve this with the proposed Location interface?
> 
> "Library proposal: add a Location interface for element-wise operations on Data.Map"
> http://www.haskell.org/pipermail/libraries/2011-January/015593.html