Índices e Níveis de De Bruijn: Resolvendo a Captura de Variáveis no Cálculo Lambda
2025-05-30
Este artigo apresenta os índices e níveis de De Bruijn, soluções elegantes para o frustrante problema de captura de variáveis no cálculo lambda. Usando números naturais em vez de nomes de variáveis, esses métodos evitam conflitos de nomenclatura, simplificam a substituição e facilitam a comparação da igualdade de termos. O artigo explica claramente como ambos os métodos funcionam, compara suas vantagens e desvantagens e conclui que os índices de De Bruijn são geralmente mais úteis para operações locais, enquanto os níveis de De Bruijn são mais convenientes ao mover subtermos. Esta é uma ótima leitura para programadores familiarizados com os conceitos básicos do cálculo lambda.