5
cálcio com reflexão
Estou procurando um cálculo simples que suporte o raciocínio sobre reflexão , a saber, a introspecção e manipulação de programas em execução. Existe uma extensão de cálcio não tipada que permita converter termos λ em um formato que possa ser sintaticamente manipulado e depois avaliado posteriormente?λλ\lambdaλλ\lambda Imagino que o cálculo …