Please log in to watch this conference skillscast.
In this talk, Andor is going to discuss the anatomy of GRIN as a compiler back end by showcasing the main challenges the grin team had to overcome when implementing.
There are two different approaches for implementing a GRIN back end for a programming language. The first one is to use an intermediate language called Lambda, and the second one is to compile the front end language directly to GRIN. Both approaches will be briefly examined. The second part of the talk will focus on the details of the Idris-GRIN back end which consists of three main parts: an API for GRIN code generation, a program transformation selector, and the implementation of the primitive operations of Idris. The Idris-GRIN back end is mostly written in Haskell, the rest is implemented in C and LLVM-IR. The presentation is approachable by all audiences.
YOU MAY ALSO LIKE:
Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.
Andor is a Haskell developer and enthusiast, interested in theoretical computer science, he has industrial experience with functional and object oriented programming, QA engineering, learns dependently typed programming and playing the hangdrum. Andor has recently revived his interest in compiler construction.