Closed mnot closed 5 years ago
On balance, my inclination here is to add it; the implementation load isn't huge. Anyone feel otherwise?
It has a use case, and it doesn't seem to add much complexity. Is this the point where we draw the line and say "no new data structures"?
I think we're getting to the point where we say "no new data structures in this spec" -- a follow-on can always add something.
Variants needs a structure like this:
i.e., a list-of-lists.
ParamList isn't suitable because:
item
andkey
Adding a list of lists datatype seems pretty straightforward, but I'm conscious that we can't keep on adding stuff if we want people to implement.
The other approach would be to remove the discontinuity between
item
andkey
(i.e., revert their split from #702) and make parameters into an ordered mapping (as we did for dictionaries).Thoughts?