2019 EuroLLVM Developers’ Meeting: I. Wolff “The Helium Haskell compiler and its new LLVM backend”

Ivo Gabe de Wolff explains how the Helium Haskell compiler targets LLVM, handling high-level features like laziness and currying.

llvm.org/devmtg/2019-04/ — The Helium Haskell compiler and its new LLVM backend - Ivo Gabe de Wolff (University of Utrecht) Slides: llvm.org/devmtg/2019-04/slides/TechTalk-de-Wolff-Helium_Hask… — Helium, developed at the University of Utrecht, is a compiler for the functional, lazy language Haskell. It is used for research on error diagnosis and teaching. In this talk we will however focus on the new LLVM backend and the compilation of high level features like lambdas, laziness (call-by-need semantics), currying (partial application). Furthermore we discuss some high level optimizations which cannot be done at LLVM-level. — Videos Filmed & Edited by Bash Films: BashFilms.com