Skip to content
A Haskell to WebAssembly compiler
Haskell WebAssembly C++ JavaScript C Python Other
Branch: master
Clone or download
Pull request Compare This branch is 134 commits behind tweag:master.
bollu Merge pull request tweag#122 from tweag/wip-err-stack
Fallback to the node runner in `ahc-link --run`
Latest commit ed00d94 May 16, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci
.github Update to ghc-8.7.20181027 (+13 squashed commit) Oct 29, 2018
asterius Merge pull request tweag#122 from tweag/wip-err-stack May 16, 2019
binaryen Update binaryen (tweag#121) May 15, 2019
docs Update wabt (tweag#120) May 15, 2019
ghc-toolkit JSRun implementation (tweag#113) May 13, 2019
inline-js @ f54a62a Bump inline-js submodule May 15, 2019
npm-utils Finalize the modularized rts work tweag#50 (+53 squashed commit) Jan 7, 2019
utils Change Cmm function sigs to `[] -> []` and implement tail call opcodes ( Mar 21, 2019
wabt Update wabt (tweag#120) May 15, 2019
wasm-toolkit Change Cmm function sigs to `[] -> []` and implement tail call opcodes ( Mar 21, 2019
.dockerignore bytestring support & numerous bugfixes and impovements Dec 9, 2018
.ghcid Update the example .ghcid file May 14, 2019
.gitignore Finalize the modularized rts work tweag#50 (+53 squashed commit) Jan 7, 2019
.gitmodules bytestring support & numerous bugfixes and impovements Dec 9, 2018
Dockerfile Update wabt (tweag#120) May 15, 2019
README.md Add link to docs/hacking.md from README.md May 14, 2019
clean.sh Update binaryen (tweag#121) May 15, 2019
mkdocs.yml Add a hacking guide May 14, 2019
stack.yaml JSRun implementation (tweag#113) May 13, 2019

README.md

Asterius: A Haskell to WebAssembly compiler

CircleCI Docker Pulls Gitter chat

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:

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 --input-hs xxx.hs
...

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 like print_i64 or JavaScript FFI.
  • Fast arbitrary-precision Integer operations backed by BigInts.
  • Preliminary copying GC, managing both Haskell heap objects and JavaScript references.
  • Preliminary Cabal support.
  • Importing JavaScript expressions via the foreign import javascript syntax. First-class JSVal 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 via StablePtr.
  • 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. Optionally, we emit binaries using the experimental tail call opcodes; see the ahc-link documentation page for details.

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

Building from source

install the following:

and then follow the commands in the Dockerfile.

For hacking instructions, there is a docs/hacking.md which has advice and common commands

Sponsors

Asterius is maintained by Tweag I/O.

Have questions? Need help? Tweet at @tweagio.

You can’t perform that action at this time.