If $arr were an array I would, though I'd cringe at the wasted space (unless it were a sparse array). Obviously, I'd agree that a map/associative array/dict/et

If $arr were an array I would, though I'd cringe at the wasted space (unless it were a sparse array). Obviously, I'd agree that a map/associative array/dict/etc is a better choice here; I'm just annoyed about the name.