GitHub - tweag/asterius: A Haskell to WebAssembly compiler
source link: https://github.com/tweag/asterius
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
README.md
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. Or check our blog posts:
- Fibonacci compiles end-to-end: Haskell to WebAssembly via GHC
- Haskell WebAssembly calling JavaScript and back again
- Asterius GHC WebAssembly backend reaches TodoMVC
Also, we've added Weekly Status Reports in case you're interested where the bleeding edge has reached.
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
/bytestring
/binary
/xhtml
. IO is achieved via rts primitives likeprint_i64
or JavaScript FFI. - Fast arbitrary-precision
Integer
operations backed byBigInt
s. - Persistent "vault"s which are KV stores transferrable across asterius instances.
- Importing JavaScript expressions via the
foreign import javascript
syntax. First-classJSVal
type in Haskell land. - Fast conversion between Haskell/JavaScript types (strings, arrays and ArrayBuffers at the moment)
- Calling Haskell functions from JavaScript via the
foreign export javascript
syntax. Haskell closures can be passed between Haskell/JavaScript boundary viaStablePtr
. - Invoking RTS API on the JavaScript side to manipulate Haskell closures and trigger evaluation.
- A linker which performs aggressive dead-code elimination, producing as small WebAssembly binary as possible.
- A debugger which checks invalid memory access and outputs memory loads/stores and control flow transfers.
- Complete
binaryen
/wabt
raw bindings, plus a monadic EDSL to construct WebAssembly code directly in Haskell. - A Haskell library to handle WebAssembly code, which already powers binary code generation.
- Unit tests implementing stochastic fuzzer/shrinker for WebAssembly, in order to produce minimal repro in case something goes wrong in generated code.
- Besides WebAssembly MVP and
BigInt
, no special requirements on the underlying JavaScript engine at the moment.
Better check the fib
, jsffi
, array
, rtsapi
and teletype
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.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK