Meet up

What's in a Functional Compiler?

Thursday, 30th July, Online Meetup

This meetup was organised by Thursday's Matter in July 2020


This Thursday's Matter is ... Functional Compilers. Join Tweag's Andrea Condoluci for this demystifying look at two popular compilers: the GHC and OCaml compilers.

Thursday's Matter is a virtual meetup on the topics that truly matter to today's developers. Join us every Thursday when we'll be joined by an expert from around the globe. Each week we'll explore topics such as functional languages, mobile development, agile methodologies and machine learning.

THE FORMAT A 40-minute expert talk followed by a Q&A session

What's in a Functional Compiler?

Compilers are magical pieces of software. For most users, a compiler is just a mysterious creature that absorbs their source code and make it blossom into an executable file. But in reality, compilation is hard and made of multiple complex steps: most importantly, checking, transforming, and optimising the code in input.

In this talk, Andrea shows an overview of two popular compilers for functional programming languages: the Glasgow Haskell Compiler (GHC) and the OCaml compiler. What happens to your high-level program after you hit "build"? Are functional languages more difficult to compile? Do compilers smell like a rose, or prick like thorn?

Andrea Condoluci

Andrea is a Software Engineer and brings programming languages expertise and research skills to Tweag. Before joining the team, Andrea obtained a BSc in Mathematics and a MSc in Computational Logic within an Erasmus Mundus Programme. He received a PhD from the University of Bologna and INRIA Saclay, where he worked on the lambda calculus, the theory behind functional programming, and studied its evaluation from the point of view of computational complexity. Outside of the office, Andrea follows his passion for performing arts and enjoys dancing and listening to electronic music.

Thanks to our sponsors

Who's coming?

Attending Members