Hi Jeremy,

> I noticed that SRFI 253 has passed its expiry date (listed as 60-day
> deadline: 2024-10-12), but draft 8 was posted only recently.

As far as I understand it, it's not an expiry date, it's a date until
which the SRFI has to stay in draft status. I used this time to iterate
on design and implementation and to ask for feedback (thanks to all
involved for their suggestions and critique!)

> It doesn't look like it is stalled, but I wanted to express support
> for the SRFI, as it is a very good step in the right direction. I
> don't know exactly what the current blockers are, but SRFI 253 is more
> or less the final missing piece in some of my own libraries (that are
> currently CHICKEN only) that stops them from being more-or-less fully
> portable R7RS libraries.

Thanks for the kind words! We are aligned on the incentives—I, too, want
to write portable strongly-typed/checked programs for a range of
implementations!

> In any case, thanks for going through this effort. I feel like I don't
> particularly care about rest argument support myself, and I think it's
> probably okay to not worry about (at least as a CHICKEN user, I don't
> see it as too much of a limitation).
>
> I also don't really understand the implications of making check-arg a
> procedure. I can see a lot of prior art leans towards this because it
> is easier to write as a procedure, but a macro should be fine from
> what I can tell.

Neither of these are blockers indeed, both are just me justifying the
way sample implementation works. There are no blockers left really—I'm
just ruminating on the shape of the SRFI and trying to find some
weak/underspecified points and something that can be improved. I need to
have some time to debug it in my mind. Other than that, it can be
finalized even right now, because it's in a good shape already. But
let's wait some more—there's time until 90-day soft deadline.

> Overall, I don't have much useful feedback other than what has already
> been discussed, and I am happy to help package / maintain a fork of
> the sample implementation for CHICKEN if/when that is needed.

That would be a huge help! I'm unfamiliar with CHICKEN (mostly doing
Guile and Kawa atm), so any packaging help is appreciated!

Best of luck,
--
Artyom Bologov
https://aartaka.me