By all means write it up as a SRFI, then, and I'll add it to the ballot, even though we'll be voting before it can be finalized.  There is precedent for this, as long as there is a spec to work from.  Arthur is letting specs be posted without implementation these days, though not finalized without implementation.

On Sun, Oct 28, 2018 at 11:48 AM Per Bothner <xxxxxx@bothner.com> wrote:
On 10/27/18 5:15 PM, John Cowan wrote:
> Just a heads-up that I intend to propose SRFI 122 to become the standard multidimensional array package of R7RS-large (the alternatives being SRFI 25 and nothing).  It'll be voted on as-is, but an upwardly compatible SRFI could replace 122 at a later stage of voting.

For what it is worth, Kawa's arrays are an extension of SRFI 25 and SRFI 4 (uniform vectors),
including some additions from Racket's math.array package.

https://www.gnu.org/software/kawa/Arrays.html

Kawa treats regular vectors, uniform vectors, strings, and bytevectors as rank-1 arrays.
Thus they can be inputs to array-transform and share-array.
--
        --Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/