Unifying Analytic and Statically-Typed Quasiquotes in Metaprogramming

Watch a technical conference presentation from POPL 2018 exploring the unification of Lisp-style and MetaML-style quasiquotes in metaprogramming. Learn how researchers from EPFL and the University of Pennsylvania developed a novel approach combining program construction, deconstruction and evaluation while ensuring type safety and proper scoping. Discover λ{}, a multi-stage calculus with code pattern matching and rewriting capabilities, and its implementation in Squid, a Scala metaprogramming framework. Explore speculative rewrite rules as a new code transformation technique and understand its applications in query compiler optimizations. Gain insights into advanced metaprogramming concepts including quasiquotation, static typing, and program manipulation through this 21-minute academic talk.