Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.
Please log in to watch this conference skillscast.
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:
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.
Andor Penzes
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.