Comment by ChrisRackauckas

Yeah the WebAssemblyCompiler.jl works on things that are StaticCompiler-able https://tshort.github.io/WebAssemblyCompiler.jl/stable/examp..., plus a little bit more since it supports the GC. It's not an "official" compiler and it has some things that mean it's on the "not really maintained list", but it shows it's not too difficult. You can also just retarget LLVM yourself to WASM (it's just a backend of LLVM) without too much difficulty if you're using a limited part of the Julia runtime. So... with a bit of effort a good chunk of the language could do this, we just haven't had much of the effort since most of it has been going towards AOT binary building.