Inside the beast: GHC’s intermediate lambda language

Add to your list(s) Download to your calendar using vCal

• Prof Simon Peyton Jones, Microsoft Research Cambridge
• Tuesday 01 March 2016, 19:45-20:45
• Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement).

If you have a question about this talk, please contact Swaraj Dash.

GHC translates all of Haskell into a tiny intermediate language called Core, does a lot of optimisations on Core, and then generates executable code. In this talk I’ll take you on a journey into Core, with several goals. First, if you ever do performance-debugging of a Haskell program you may well find yourself staring at Core dumps to understand the program that the computer is executing (it may look nothing like the one you wrote!). Second, one way to extend GHC is to write a Core-to-Core plugin to do some cool optimisation or transformation that you want; and you can only do that if you understand Core.

Lastly, even if you want to do none of these things, I think you may enjoy the adventure. Core is a tiny but super-expressive language that can express all of Haskell, including all the types, and more beside. It pulls off this trick by drawing directly on System F, a mathematical calculus from type theory. Functional programming is amazing: serious theory leads directly to beautiful implementations.

This talk is part of the Cambridge University Computing and Technology Society (CUCaTS) series.

This talk is included in these lists:

• Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement)
• All CMS events
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge University Computing and Technology Society (CUCaTS)
• Cambridge talks
• Chris Davis' list
• Featured lists
• Featured talks
• Guy Emerson's list
• Interested Talks
• Trust & Technology Initiative - interesting events
• bld31
• custom
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.