Multi-Stage Programming with Splice Variables
Multi-Stage Programming with Splice Variables This is an interactive demonstration of the ICFP 2025 paper Multi-Stage Programming with Splice Variables by Tsung-Ju Chiang and Ningning Xie. What is multi-stage programming? It's a technique where programs generate other programs. Instead of writing generic code that handles all cases at runtime, you generate specialized, optimized code tailored to specific situations. For example, instead of a power function that uses a loop, you could generate