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 likeprint_i64
or JavaScript FFI. - Importing JavaScript expressions via the
foreign import javascript
syntax. First-classJSRef
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.