Programação Multiestágios com Variáveis de Splice: Geração de Código Segura e Previsível

Este artigo apresenta uma nova técnica chamada Programação Multiestágios (MSP) que permite que programas gerem outros programas. Para garantir a geração de código segura e previsível, os autores introduzem o conceito de "variáveis splice". As variáveis splice fornecem controle preciso sobre o processo de geração de código e escalam perfeitamente para recursos avançados, como correspondência de padrões de código e reescrita. O sistema de tipos rastreia automaticamente as dependências de variáveis, garantindo que o código gerado seja sempre bem formado, com escopo adequado e com verificação de tipos correta. O artigo demonstra o poder das variáveis splice com exemplos como a geração de uma função de potência e mostra recursos como correspondência de padrões de código e reescrita.