The Glasgow Haskell Compiler as an exercise in type theory
- Location: Indeed, Inc., Russell office, 1301 2nd Avenue, 13th floor, Seattle, WA 98101
- Time: Thursday 27 September 2018 from 6pm to 8:30pm (PDT), presentation to start at 6:30pm
One may think of type theory as a purely theoretical tool for studying lambda calculus. Can you imagine someone using the Turing machine to build a practical compiler? Well, this is exactly the case with the Haskell programming language. Every piece of the code in Haskell is translated by the Glasgow Haskell Compiler (GHC) into the typed lambda calculus and is then checked, optimized, and translated down further to the machine code. So, it is real and quite challenging.
In this talk, Vitaly Bragilevsky, author of “Haskell in Depth”, will introduce both type theory and GHC and show how they work together to compile programs in Haskell. We’ll cover the process of compilation of Haskell programs and discuss which and how type theory elements are used. We’ll also see how functional programming makes it easier to reason about such complex software as compilers and ensures their correctness.
Attendees will learn basics of the type theory, see how GHC utilizes it, and be prepared to read advanced papers on extending Haskell type system. Knowledge of type theory is not required to attend this talk. Knowledge of Haskell at the beginner’s level is useful but is not required either, although functional programming background is essential.
Please register for this event via Eventbrite.
- 6pm–6:30pm: Check-in and networking
- 6:30pm–8pm: The Glasgow Haskell Compiler as an exercise in type theory (speaker: Vitaly Bragilevsky)
- 8pm–8:30pm: Networking with fellow FP enthusiasts over some beer and food