REFAL é uma linguagem de programação multi-paradigma de uso geral, criada nos anos 60. Baseia-se na ideia de programação funcional, mas também suporta paradigmas de programação processual, orientada para objectos e lógica. Foi concebida com a intenção de ser fácil de aprender e usar, e a sua sintaxe é semelhante à de outras linguagens baseadas em ALGOL.
A REFAL tem uma série de características que a tornam única entre as linguagens de programação. Talvez mais notavelmente, utiliza um sistema de "correspondência de padrões" para as suas variáveis, o que permite um código mais conciso e eficiente. Tem também um colector de lixo incorporado, que ajuda a gerir a utilização da memória.
Apesar das suas muitas características, a REFAL não tem sido amplamente adoptada fora da sua Rússia natal. No entanto, continua a ser uma língua interessante e poderosa que vale a pena aprender para qualquer programador.