For fun, I created a tiny subset of the Scheme R7RS Small specification.

The draft version is 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 draft is a superset of the Scheme subset 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 also created an implementation of scheme that more or less follows the specification, but that is another story.)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Friday, January 28, 2022 at 4:06:15 PM UTC-7, Joshua Cogliati wrote:

For fun, I created a tiny subset of the Scheme R7RS Small specification.

The draft version is at:
https://github.com/jrincayc/r7rs-tiny-spec

Because there already is a tiny scheme implementation, I renamed it to Pico Scheme and the new URL is:
https://github.com/jrincayc/r7rs-pico-spec

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Monday, January 31, 2022 at 7:27:24 AM UTC+9, jrin...@gmail.com wrote:

On Friday, January 28, 2022 at 4:06:15 PM UTC-7, Joshua Cogliati wrote:

For fun, I created a tiny subset of the Scheme R7RS Small specification.

The draft version is at:
https://github.com/jrincayc/r7rs-tiny-spec

Because there already is a tiny scheme implementation, I renamed it to Pico Scheme and the new URL is:
https://github.com/jrincayc/r7rs-pico-spec

This is quite nice, thanks for sharing!

--
Alex

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Wednesday, March 30, 2022 at 12:33:13 AM UTC-6, Alex Shinn wrote:

On Monday, January 31, 2022 at 7:27:24 AM UTC+9, jrin...@gmail.com wrote:

On Friday, January 28, 2022 at 4:06:15 PM UTC-7, Joshua Cogliati wrote:

For fun, I created a tiny subset of the Scheme R7RS Small specification.

The draft version is at:
https://github.com/jrincayc/r7rs-tiny-spec

Because there already is a tiny scheme implementation, I renamed it to Pico Scheme and the new URL is:
https://github.com/jrincayc/r7rs-pico-spec

This is quite nice, thanks for sharing!

--
Alex

You are very welcome. :)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

I put up a new draft (0.7): https://github.com/jrincayc/r7rs-pico-spec/releases/tag/version_0.7

If there are no major issues with it (add any issues/change requests etc at https://github.com/jrincayc/r7rs-pico-spec/issues ), I plan on putting up the release candidate on November 18th, and then on to the final release two weeks later.

Joshua Cogliati

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Thursday, November 3, 2022 at 5:12:33 a.m. UTC-7, Joshua Cogliati wrote:

I put up a new draft (0.7): https://github.com/jrincayc/r7rs-pico-spec/releases/tag/version_0.7

If there are no major issues with it (add any issues/change requests etc at https://github.com/jrincayc/r7rs-pico-spec/issues ), I plan on putting up the release candidate on November 18th, and then on to the final release two weeks later.

Joshua Cogliati

Hello there, I have not visited "comp.lang.scheme" in a very long time, but I just read about this "tiny scheme", but I remember back in 2000 and in 2005, there were a couple of releases of "tiny scheme" from a couple of guys under the guidance of Marc
Feley from the Universite du Montreal (University of Montreal), they were called, if my memory doesn't fail me, BIT and the other one was called PICOBIT, they were created by Danny Dube and Vincent St-Amour, I think the published papers are available
inside Marc Feeley website, I think they are worth reading them, and perhaps using them.

Regards.

Alfonso

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Monday, May 15, 2023 at 3:04:19 PM UTC-6, Alfonso Urroz wrote:

On Thursday, November 3, 2022 at 5:12:33 a.m. UTC-7, Joshua Cogliati wrote:

I put up a new draft (0.7): https://github.com/jrincayc/r7rs-pico-spec/releases/tag/version_0.7

If there are no major issues with it (add any issues/change requests etc at https://github.com/jrincayc/r7rs-pico-spec/issues ), I plan on putting up the release candidate on November 18th, and then on to the final release two weeks later.

Joshua Cogliati

Hello there, I have not visited "comp.lang.scheme" in a very long time, but I just read about this "tiny scheme", but I remember back in 2000 and in 2005, there were a couple of releases of "tiny scheme" from a couple of guys under the guidance of Marc

Feley from the Universite du Montreal (University of Montreal), they were called, if my memory doesn't fail me, BIT and the other one was called PICOBIT, they were created by Danny Dube and Vincent St-Amour, I think the published papers are available
inside Marc Feeley website, I think they are worth reading them, and perhaps using them.

Regards.

Alfonso

Thanks, That is interesting. I will add PICOBIT to the README in the next update.

https://github.com/jrincayc/r7rs-pico-spec/pull/41

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)