First off: Neat project, I think this could actually turn into something super cool, especially if it could be transpiled into from another source. Think like CHICKEN, except instead of Scheme -> C -> binary, we could get $LANG -> Schism -> WASM (here, my $LANG of choice could even be CHICKEN)
However, I find the choice of R6RS... odd. Is it not easier to target R7RS-small or R5RS as a baseline to begin with? I know some people have problems (or too much love) with R6RS for what may be described as religious reasons, but I find it an extremely surprising choice here given that R7RS-small is much simpler and easier to get right.
Likewise, the majority of R7RS-compatible libraries would be available for free. That would add a lot for a high level language targeting WASM. Seems a strange choice, maybe the author has documented this somewhere?
I haven't documented the choice of R6RS anywhere, so here is as good of place as any.
The main reason was familiarity. R6RS is the Scheme I know best. I learned on R5RS and moved on the R6 when it was the new hotness. I vaguely was aware of R7 (I have friends that were on the standards committee), but didn't really know much more than that it had happened.
There's a technical reason for choosing R6RS as well though. To me the defining characteristic of R6RS is the library system. In my mind, this has a pretty clear mapping to WebAssembly modules. Scheme libraries import some set of identifiers and export another set. WebAssembly modules are the same way, so I basically set it up so that Scheme exports and imports map directly only WebAssembly exports and imports.
I'd definitely be open to supporting other Scheme versions in the future.
> There's a technical reason for choosing R6RS as well though. To me the defining characteristic of R6RS is the library system. In my mind, this has a pretty clear mapping to WebAssembly modules.
Well, this is a clear win for R6RS over R5RS, but R7RS has a much more flexible and well-agreed upon module system. One of the things about R6RS against its favour is that the module system never caught on with the major Scheme implementations (Gauche, Gambit, CHICKEN, Racket), and everyone kind of rolled their own. It's only in recent times that I've notice a lot more activity converging around R7RS.
Nonetheless, thanks for responding. Familiarity is a reasonable enough reason for choosing a standard.
There are some shortcuts and other possible ways to represent the same code/items using, as your link mentions, the linear representation and import/export shortcuts. While not the canonical text spec, I find the grammar at https://github.com/WebAssembly/spec/tree/master/interpreter#... The clearest to understand.
WASM supports two formats; a binary format, which is the recommended for actually shipping to the browser, and a text format, mostly for humans to read and edit programs.
The text format uses Lisp-style syntax, with parenthesis, e.g.:
(func (param i32) (param i32) (result f64) ... )
This syntax is called S-expressions, and it has strong adherents and opponents.
I wonder if they're aware of Ian Piumarta's Maru and Cola (http://www.piumarta.com/software/) - which are also tiny and self-compiling (although use C and IA32 as a basis, not JS).
I can't wait to play with this when I get home! I loathe doing web development. I just can't wrap my head around it, so whenever WASM gets in a position where it can easily work with the DOM (preferrably with a decent GC), I will be all over it :)
The project is in an interesting phase as well. Doing CPS transforms and implementing macros (the only thing really hard about writing a scheme).
I'm confused, isn't that what WebAssembly has specifically been designed for? Unless you mean something else by "intermediate language" than what I read as "intermediate representation".
Is there any chance Google might put more effort into this in the future? Scheme in the browser would be awesome. I'm guessing it is just a Google employee's pet project?
Keep in mind there's barely any error checking, so it may or may not work for you. I hope to improve this over time, and am happy to accept patches to do that as well.
However, I find the choice of R6RS... odd. Is it not easier to target R7RS-small or R5RS as a baseline to begin with? I know some people have problems (or too much love) with R6RS for what may be described as religious reasons, but I find it an extremely surprising choice here given that R7RS-small is much simpler and easier to get right.
Likewise, the majority of R7RS-compatible libraries would be available for free. That would add a lot for a high level language targeting WASM. Seems a strange choice, maybe the author has documented this somewhere?