When generating output, you want that output to be "stable", so that when you generate this output multiple times, it is the same each time. The problem is that mapping over a dictionary is inherently unstable. We'd need to sort the keys first for example.
Could definitely add it, maybe for dictionaries where the keys are Comparable.
Not at this point, no.
When generating output, you want that output to be "stable", so that when you generate this output multiple times, it is the same each time. The problem is that mapping over a dictionary is inherently unstable. We'd need to sort the keys first for example.
Could definitely add it, maybe for dictionaries where the keys are
Comparable.