intermediate-language – Tarik Billa

Understanding STG

May 4, 2023 by Tarik

GHC wiki contains an introductory article about STG written by Max Bolingbroke: The STG machine is an essential part of GHC, the world’s leading Haskell compiler. It defines how the Haskell evaluation model should be efficiently implemented on standard hardware. Despite this key role, it is generally poorly understood amongst GHC users. This document aims … Read more

Pragmatics of typed intermediate languages

April 6, 2023 by Tarik

Do they re-typecheck, in the example above K(M) and K(N)? Yes, they do. It’s not that bad, though. The typechecker knows that K(M) is an application of K to M. It knows what the type of K is, and that should be a function type. It knows what the type of M is, and it … Read more