Last call for comments on SRFI 214: Flexvectors
Arthur A. Gleckler
(05 Feb 2021 18:31 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors
Wolfgang Corcoran-Mathe
(08 Feb 2021 05:12 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors
John Cowan
(08 Feb 2021 17:51 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors
Shiro Kawai
(22 Feb 2021 04:20 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors
Adam Nelson
(22 Feb 2021 04:12 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors Wolfgang Corcoran-Mathe (27 Feb 2021 19:51 UTC)
|
Re: Last call for comments on SRFI 214: Flexvectors Wolfgang Corcoran-Mathe 27 Feb 2021 19:51 UTC
On 2021-02-21 23:12 -0500, Adam Nelson wrote: > On 2/8/21 12:12 AM, Wolfgang Corcoran-Mathe wrote: > > > * For clarity, flexvector-index should indicate that it applies > > ‘pred?’ in parallel to the elements of the flexvector arguments. > > (The specs of most similar procedures in SRFI 214 make this clear.) > > I don't think I follow what you meant by this. Do you mean a notice like > "the dynamic order of application of `pred?` is unspecified"? That notice is > missing from a lot of functions, including `flexvector-filter`, > `flexvector-any`, and `flexvector-every`. iirc I copied the text from SRFI > 133 wherever possible, and in SRFI 133 this warning was only present on > `vector-map`. But it is technically true for most functions that take a > predicate, and I can add it if it adds clarity. What I had in mind was clarification that, when flexvector-index(-right) are called with n flexvector arguments, ‘pred?’ must accept n arguments, which are specifically the elements fv1[i], fv2[i], ..., fvn[i] for each index i. For comparison, SRFI 1's analogous list-index has the following: > If there are n list arguments clist1 ... clistn, then pred must be a > function taking n arguments and returning a single value, interpreted > as a boolean (that is, #f means false, and any other value means > true). SRFI 133 doesn't make this clear for vector-index, unfortunately, although it can be divined from the examples (as it can be here). But then, examples aren't supposed to be normative. -- Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz> "If one is searching for a needle in a haystack, look in the part of the haystack that contains more needles." --Bird & Wadler