New dict.map() method

[bruchar1]

Dict now have a map() method that return a list of values from a given list of keys.

This new method, along with #13195, is a step toward accomplishing what is described in discussion #13189.

[tristan957]

I don't like the map name. I would rather this be called something like values(), which takes between 0 and N strings. When none are passed, return all values.

Could we augment the dict get() function to provide this functionality?

[eli-schwartz]

Both map and values are bad names. I found it very hard to understand the PR until I read the implementation, at which point I realized it's actually dict.get_several() or:

vals = []
foreach k, v: mydict
    if k in ['key1', 'key2']
        vals += v
    endif
endforeach

The use case feels a bit exotic, you can already do the same thing in a bit more wordy fashion, and also apparently requires finalizing another design, so IMO it's premature to implement this.

/cc @jpakkane

[jpakkane]

What is the specific problem you are trying to solve with this new functionality?

[bruchar1]

What is the specific problem you are trying to solve with this new functionality?

See #13195 and #13189.