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:
- GRIN - an Alternative Haskell Compiler Backend (SkillsCast recorded in October 2018)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- Theorems for Free (SkillsCast recorded in November 2020)
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
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.