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:
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- LDN *Virtual* Talks Apr 2021 *Red Badger Takeover* (Online Meetup on 27th April 2021)
- TEDD Talk (Target Environment Driven Development) (SkillsCast recorded in March 2021)
- Ergonomic Error Handling with Rust (SkillsCast recorded in March 2021)
Thank you to our sponsors and partners
Platinum
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.