Please log in to watch this conference skillscast.

The GRIN language is an intermediate representation for lazy programming languages such as Haskell. It serves the same role as STG (in GHC compilation pipeline) but follows different design decisions. GRIN describes suspended computations as regular data structure using whole program defunctionalisation. Through this approach and a whole program analysis called Heap Points-To that opens up the opportunity for program optimisations wider than before.

In this talk, Andor and Csaba are going to present the GRIN language and the HPT analysis as were defined in the original PhD thesis from Urban Boquist. In addition, they are going to talk about their reimplementation of the GRIN language and its advancements; the LLVM backend, type system inspired by HPT analysis, compiled abstract interpretation, program transformations, and language front-ends such as GHC (via STG) that GRIN can interface with.

The implementation is in Haskell and available at github.com/grin-tech/grin.

YOU MAY ALSO LIKE:

• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• Lightning Talk: Properties Meets Quality Assurance Test Design Principles (SkillsCast recorded in October 2017)
• Real World Kotlin Development Workshop (in London on 22nd - 23rd October 2019)
• Advanced Scala with Dick Wall (in London on 9th - 11th December 2019)
• Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
• Lightning Talk: ABI Stability & the LLVM (SkillsCast recorded in March 2019)