dependent-map icon indicating copy to clipboard operation
dependent-map copied to clipboard

Add NonEmptyDMap --- depends on #26

Open Ericson2314 opened this issue 6 years ago • 3 comments

Need this to curry maps. Example usage forthcoming

CC @cgibbard

Ericson2314 avatar Feb 18 '19 02:02 Ericson2314

This looks like it would impose a very large maintenance overhead going forward; I'm not convinced it's worth it. One very valuable thing about the way this package is currently constructed is that it is nothing more than a simple search-and-replace of containers - I've even considered building it from the containers source using a script. How can we bring down the maintenance cost to something reasonable?

ryantrinkle avatar Feb 26 '19 16:02 ryantrinkle

@ryantrinkle make containers itself do the same thing! :D. In serious, I can make the containers issue now that this exists enough to quantify the overhead and call out the benefits with tree rotations. Hopefully the existing non-empty containers packages are good enough to point to as a need, but I'd make the version of vessel using this too to bolster the argument.

Ericson2314 avatar Feb 26 '19 17:02 Ericson2314

Sounds good! I think the main thing is that the containers issue needs to go first; I don't want to merge this here in the hope that we'll eventually become maintainable.

ryantrinkle avatar Feb 26 '19 18:02 ryantrinkle