Asterius: A Haskell to WebAssembly compiler

A Haskell to WebAssembly compiler. Project status: alpha, in active development, some simple examples already work.

See the documentation for further instructions.

Quick start

We provide pre-built Docker images. Put the input .hs program in a directory and map the directory to a Docker volume:

terrorjack@ubuntu:~$ docker run -it -v ~/mirror:/mirror terrorjack/asterius
root@76bcb511663d:~# cd /mirror
root@76bcb511663d:/mirror# ahc-link --help
...

See the help text of ahc-link for further instructions.

What works currently:

• All GHC language features except Template Haskell.
• Non-IO parts in ghc-prim/integer-simple/base/array/deepseq/containers/transformers/mtl/pretty. IO is achieved via rts primitives like print_i64 or JavaScript FFI.
• Importing JavaScript expressions via the foreign import javascript syntax. First-class JSRef type in Haskell land.
• Invoking RTS API on the JavaScript side to manipulate Haskell closures and trigger evaluation.
• A debugger which outputs memory loads/stores and control flow transfers.
• A monadic EDSL to construct WebAssembly code directly in Haskell.
• Besides WebAssembly MVP & the experimental BigInt support, no special requirements on the underlying JavaScript engine.

Better check the fib, jsffi, array and rtsapi test suites first to get some idea on current capabilities of asterius.

Sponsors

Asterius is maintained by Tweag I/O.

Have questions? Need help? Tweet at @tweagio.