A execução de código em tempo de compilação é uma técnica importante no desenvolvimento de software com aplicações diversas, incluindo a otimização de programas, meta-programação, e a validação de expressões em tempo de compilação. Embora a execução de expressões em tempo de compilação seja possível em linguagens como C++ ou Scheme, essa tarefa costuma complexa e, em alguns casos, imprática. Além disso esse processo exige, no mínimo, a anotação manual das expressões do programa informando ao compilador (ou interpretador) quais partes do programa podem (ou devem) ser executadas estaticamente. Neste trabalho, exploramos estratégias de análise estática com o objetivo de pré-computar, de forma automática, parte das expressões de um programa escrito em uma linguagem de programação funcional baseada no cálculo lambda não tipado.