Proposal: Value strict versions of containers

Edward Z. Yang ezyang at MIT.EDU
Sat May 21 19:43:33 CEST 2011

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.


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"

More information about the Libraries mailing list