REFAL est un langage de programmation polyvalent et multi-paradigme créé dans les années 1960. Il est basé sur l'idée de la programmation fonctionnelle, mais supporte également les paradigmes de programmation procédurale, orientée objet et logique. Il a été conçu dans l'intention d'être facile à apprendre et à utiliser, et sa syntaxe est similaire à celle d'autres langages basés sur ALGOL.
REFAL possède un certain nombre de caractéristiques qui le rendent unique parmi les langages de programmation. Le plus remarquable est sans doute l'utilisation d'un système de "filtrage" pour ses variables, qui permet d'obtenir un code plus concis et plus efficace. Il dispose également d'un collecteur de déchets intégré, qui aide à gérer l'utilisation de la mémoire.
Malgré ses nombreuses fonctionnalités, REFAL n'a pas été largement adopté en dehors de sa Russie natale. Néanmoins, il reste un langage intéressant et puissant qui mérite d'être appris par tout programmeur.