Designing Efficient Systems with Multi-Stage Programming and Other Type-Safe Metaprogramming Techniques
In this talk, I will present the results of my PhD at EPFL, Lausanne, which I obtained in 2020.
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various implementation details automatically, allowing programmers to focus on their problem domains.
However, the gains offered by high-level languages are usually made at the cost of reduced performance: higher-level languages usually consume more memory, run more slowly and require expensive garbage-collecting runtime systems. This trend has been worsening with the increasing adoption of the functional programming paradigm by the industry. Modern programmers are thus faced with a dilemma: should they favor productivity and lower maintenance costs at the expense of performance, or should they focus on performance, to the detriments of almost everything else?
The main idea behind my PhD thesis was that we can help solve this dilemma by making advances in type systems, metaprogramming, and compilers technology. In particular, we study how metaprogramming via statically-typed quasiquotation can let programmers define their own domain-specific optimizations in a safe way, while leveraging the latest advances in intermediate program representations.
We will look at the design and implementation of the Squid metaprogramming framework, which extends the Scala programming language with multi-staged programming capabilities and more. We will study a few of Squid's application examples, which include a polymorphic yet efficient library for linear algebra, a stream fusion engine improving on the state of the art, a demonstration of query compilation by rewriting, a staged SQL database system prototype, and a new embedded domain-specific language for expressing queries over collections of data.
- Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages (https://infoscience.epfl.ch/record/281735?ln=en)
- Finally, a Polymorphic Linear Algebra Language (https://drops.dagstuhl.de/opus/volltexte/2019/10817/)
Speaker: Lionel Parreaux
Google Meet: https://meet.google.com/myu-dhmz-gvu