3 ms·
Sure, it is slower, but my point is not that I sort by doing `Map.toList . map.fromList` but that I don't immediately turn the map back to a list. The sorting l
by Ericson2314 6y ago
Sure, it is slower, but my point is not that I sort by doing `Map.toList . map.fromList` but that I don't immediately turn the map back to a list. The sorting literature is optimizing a thing I don't need to to do.
- ComputerGuru 6y agoJust because you’re not using it directly doesn’t mean that you’re not benefiting from those optimization in those layers you are depending on.
- Ericson2314 6y agoI'm not using it directly or indirectly. The whole point of this sorting literature is a space-time tradeoff that's completely different from when you want an ordered map/index as the end result.
- deleted 6y ago[deleted]