purescript-deprecated/purescript-maps

size performance

Closed this issue · 1 comments

The definition of size for persistent Maps seems obviously wasteful to me. At the very least, constructing an intermediate list to iterate through seems like unnecessary memory usage. Any thoughts on this?

Yeah, sounds reasonable. I would hazard a guess that it was written that way for the sake of expediency with a view to revisiting later. I'd certainly consider a PR.