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
