REFAL es un lenguaje de programación multiparadigma de propósito general creado en la década de 1960. Se basa en la idea de programación funcional, pero también admite paradigmas de programación procedimental, orientada a objetos y lógica. Se diseñó con la intención de que fuera fácil de aprender y utilizar, y su sintaxis es similar a la de otros lenguajes basados en ALGOL.
REFAL tiene una serie de características que lo hacen único entre los lenguajes de programación. Quizá la más notable sea que utiliza un sistema de "concordancia de patrones" para sus variables, lo que permite un código más conciso y eficiente. También tiene incorporado un recolector de basura, que ayuda a gestionar el uso de la memoria.
A pesar de sus numerosas características, REFAL no ha sido ampliamente adoptado fuera de su Rusia natal. No obstante, sigue siendo un lenguaje interesante y potente que merece la pena que aprenda cualquier programador.