Andrea Condoluci - What's in a Functional Compiler?

Compilers are often perceived as magical pieces of software. For many users, a compiler is a mysterious creature that takes their source code and transforms it into an executable file. However, in reality, compilation is a complex process consisting of multiple steps, including checking, transforming, and optimizing the input code.
In this talk, Andrea provides 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 challenging to compile? Do compilers resemble a rose's fragrance, or do they prick like thorns?