1 June 2023
Testing Control-Flow Translations in GHC
Translations of control flow can be tested before the rest of the code generator is ready. The tests examine sequences of abstract state transformations and observations.
asterius
17 March 2022
Porting libffi to pure WebAssembly
Cheng demonstrates why it's challenging to port libffi to wasm32, how he implemented it, and how it's useful for cross-compiling the GHC RTS
25 November 2020
A tale of Template Haskell and cross compilation
Why Template Haskell is hard for cross compilation and how Asterius does it
9 October 2020
Edge computing with servant on Cloudflare
19 December 2019
Haskell art in your browser with Asterius
Asterius compiles Haskell code into WebAssembly code to be executed in a browser or in Node.js. It has reached a new milestone by being able to compile the diagrams library and its dependencies.
12 September 2019
War Stories of Asterius: Numerics & Debugging
I got the opportunity to work on Asterius, a new Haskell to WebAssembly compiler, during my internship at Tweag. My task was to get anything numerics-related stabilized in its compiled code.
20 December 2018
Asterius GHC WebAssembly backend reaches TodoMVC
12 September 2018
Haskell WebAssembly calling JavaScript and back again
29 May 2018