Sort a hashmap

Stream: Is there code for X?

[Aaron Liu]

I have a hashmap map : Std.HashMap ℕ α that has entries for all the keys up to a certain value, and I want to get an sorted : Array α out of this, such that sorted[n]? = map[n]? Is there an easy way to do this without converting the hashmap into a list, sorting it by the keys, and extracting the values?

[Mario Carneiro]

I would do it using Array.ofFn

[Aaron Liu]

I just figured out I can use docs#Array.toFn to do this, but I'm still looking for other solutions in case any are better.

[Mario Carneiro]

it doesn't seem like a very generalizable operation, so I don't see a big motivator to do better than ofFn (which I think is asymptotically optimal assuming you can work out the issues with proving lookups don't fail)

[Aaron Liu]

I think I'll just use map[n]!

[Robin Arnez]

if you had a tree map then this would just be map.valuesArray

[Robin Arnez]

although with a tree map suddenly lookups are O(log n) rather than the average O(1) for hash maps