[Daniel Hillerström] visited us for the last two weeks to work on a native backend for Links with effect handlers, based on KC’s multicore work in OCaml. It was a very productive couple of weeks, and Daniel managed to implement a compiler for an interesting subset of Links with multi-shot effect handlers. It’s a work in progress, but this is an excellent start! Daniel also presented his work to the Systems Research Group in the lab, and we look forward to welcoming Daniel back later this summer.
See his blog posts on the project:
- Intel Hyper-Threading Bug Uncovered by OCaml Developers
- Unsigned Integers as Built-In Types or as a Library?
- A Week of Platform Releases: Odig, Odoc, Opam Bundle and More!
- Why Jbuilder? Demonstration and Discussion
- OCaml Compiler Hacking May 2017 - Activity Summaries
- Opam 2.0.0 beta 3
- Multicore OCaml ARM64 Backend
- Cambio, OCaml and Karaoke at the MirageOS Marrakech Hack Retreat 2017
- Using Menhir to Build Grammar Attributes
- OCaml 4.04.1 Released