Back

Compiling Scheme to WebAssembly

85 points21 dayseli.thegreenplace.net
nhatcher19 days ago

Eli Bendersky's post are always insightful and interesting.

I really would like to see a small language that compiles to wasm in the browser.

Of course you can use things like Lua that has it's own vm also in wasm. Or Rhai with it's own interpreter. But I am looking for a language that compiles to wasm in less than 1Mb of wasm

publicdebates15 days ago

If you're open to Forth,

https://github.com/remko/waforth

> WAForth is entirely written in (raw) WebAssembly*, and the compiler generates WebAssembly code on the fly.

* https://github.com/remko/waforth/blob/master/src/waforth.wat

tromp16 days ago

Ben Lynn's page https://crypto.stanford.edu/~blynn/compiler/ compiles (a large subset of) Haskell to web assembly (which you can download; a prime number sieve yielded 40KB of code) and runs it in the browser.

nhatcher15 days ago

That is exactly the kind of thing I was looking for. Thanks you!

burntcaramel15 days ago

WebAssembly Text Format (wat) is fine to use. You declare functions that run imperative code over primitive i32/i64/f32/f64 values, and write to a block of memory. Many algorithms are easy enough to port, and LLMs are pretty great at generating wat now.

I made Orb as a DSL over raw WebAssembly in Elixir. This gives you extract niceties like |> piping, macros so you can add language features like arenas or tuples, and reusability of code in modules (you can even publish to the package manager Hex). By manipulating the raw WebAssembly instructions it lets you compile to kilobytes instead of megabytes. I’m tinkering on the project over at: https://github.com/RoyalIcing/Orb

spankalee16 days ago

I'm working on a TypeScript/Swift/Dart style language, and currently this hello-world is 1444 bytes:

    export let main = () => {
      console.log("Hello, World!");
    };
I'm trying to make that smaller. The binary includes the Console class, which is needed (I may be able to tree-shake the non log() methods away), but also the Error and IndexOutOfBoundsError classes which aren't needed because there are no catch() expressions.

I think it really helps to have a language designed from the ground-up to obsess over bytes for WASM. Trying to do that with a familiar high-level language with a rich standard library is tricky.

mathisfun12316 days ago

you can just compile c/c++ to wasm in the browser - there are wasi/emscripten builds of clang itself around (yosys, clang-repl, etc).

nhatcher15 days ago

Yes, those are fascinating technologies. But way too big to be running in a small app in the browser.

veqq15 days ago

> compiles to wasm in less than 1Mb of wasm

Janet, a Clojure-like Lisp compiles a whole playground of itself and the std lib in 823kb: https://janetdocs.org/playground

https://codeberg.org/veqq/janetdocs/src/branch/master/public...

you can do smaller for other things.

zamadatix16 days ago

C based Mandelbrot WASM demos can be ~1 KB total. Assuming you mean a simple scripting language though, Assembly Script does exactly that.

spankalee16 days ago

AssemblyScript ships its own garbage collector and doesn't seem to making progress on supporting WASM GC.

zamadatix15 days ago

AssemblyScript in general seems to have stopped making much progress. Unless you benefit greatly from having exact width numeric types it's very difficult to justify using it over normal TS.

dleslie16 days ago

Related: the uLisp assembler. It's small, elegant, and well-documented.

http://www.ulisp.com/show?2Z88

dannyobrien16 days ago

Also (on the bigger than this rather than smaller), Hoot, Spritely's Guile-on-Wasm project https://spritely.institute/hoot/