search

jrincayc / r7rs-pico-spec

Pico version of revised⁷ report on the algorithmic language scheme
Other
31 stars 1 forks source link

Bottom Scheme #2

Open johnwcowan opened 2 years ago

johnwcowan commented 2 years ago

Bottom Scheme is another subset of R7RS-small that you may want to compare with this spec.

jrincayc commented 2 years ago

There is definitely some overlap between Bottom Scheme and the specification formerly know as tiny scheme (SFKATS). However, the addition of vector-set! and bytevector-u8-set! basically allow side effects, so the semantics would need to include U -> U unlike SFKATS.

jrincayc commented 2 years ago

@johnwcowan Bottom Scheme looks like it could be an interesting subset of scheme. (Tiny/Pico Scheme is rather minimal, and so I think there would definitely be space between Pico Scheme and R7RS-small) Thank you :)

jrincayc commented 2 years ago

I linked to Bottom Scheme in the README.md