The scheme-reports list has been inactive for many years and the
subscribers list got lost at some point so I doubt anyone but me is on it.

I don't know where you should send this as I'm not very active in scheme
stuff these days. The proper place used to be comp.lang.scheme or the
scheme workshop.

Jonathan

On 1/28/22 12:54 PM, Joshua J. Cogliati wrote:
> I am not sure this is the correct place to email, if it is not, please
> let me know (and if you have a suggested correct place to discuss
> this, let me know).
>
> I propose creating a purely functional tiny subset of R7RS small.
>
> I have created a draft document as part of this proposal and it is
> available at:
> https://github.com/jrincayc/r7rs-tiny-spec
>
> (PDFs are available in the releases section)
>
> The tiny subset removes non-functional features, continuations,
> non-integers, and other features that complicate the semantics or
> implementation.
>
> It leaves a small subset where the grammar can be described in about a
> page, and the semantics can be described in another page. The whole
> thing is 17 pages.
>
> The proposed tiny R7RS would be a superset of the Scheme used in the
> book "The Little Schemer".
>
> Because of the simplifications, the type of an expression is:
>
> Environment -> Expressed Value
>
> Instead of:
>
> Environment -> Dynamic Points -> Expression Continuations -> Command
> Continuations
>
> which results in a much simpler semantics.
>
> I created the draft for fun, and I am happy to work on making it an
> official report if others are interested in that, or if not, I am
> happy to mark the document I created as unofficial.
>
> Thank you.
>
> Joshua Cogliati
>