| 18:54 | <jmdyck> | bakkot: Currently, some preambles give a parameter-'type' as "a List of Foo" (mostly "a List of ECMAScript language values"). But what about if the 'element type' isn't a single type? E.g., in #1713, MakeIndicesArray's indices param is a List where each element is either a Match Record or undefined. Should the preamble just say "a List" (as it does currently), or should there be a (standard) way to convey the type of elements? |
| 18:57 | <bakkot> | hmm |
| 18:57 | <bakkot> | would be good to get a standard wording, but everything unambiguous I can think of ends up pretty long |
| 18:57 | <bakkot> | "a List whose elements are each either undefined or a Math Record" is about the best I can do |
| 19:06 | <jmdyck> | and if there were 3 possibilities, that'd still be ambiguous: "a List whose... either (A or B or C)" vs "(a List whose ... either (A or B)) or C" (Though the latter probably doesn't occur, and if it did you could rewrite as "C or a List whose ... either A or B" to avoid the ambiguity) |