Cambridge University Computing and Technology Society
event / 63
Tue 01 Mar 2016, 7:45pm  |  Centre for Mathematical Sciences, MR3
Professor Simon Peyton Jones (Microsoft Research) speaks on

This talk is by Prof. Simon Peyton Jones (Microsoft Research) who will be talking about The Glasgow Haskell Compiler (GHC). Entry is FREE to everyone and attendees are welcome to join us at the pub afterwards where CUCaTS will buy your first pint/drink. FREE BEER!

Abstract: 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.

Come along to the talk to find out about GHC from the lead designer himself!


If you are reading this, no additional material has been uploaded for this event.

Powered by HERDING CATS v1.0+b6ae1e4 (2018-06-13 15:31:13 +0100 nitrous) ©2011-2013 CUCaTS
"Share" font family by Ralph Oliver du Carrois
Hoodies and stash provided to CUCaTS by Ideasbynet.com.