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?
YOU MAY ALSO LIKE:
Thanks to our sponsors
What's in a Functional Compiler?
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.