РЕФАЛ

РЕкурсивных Функций АЛгоритмический – один из старейших функциональных языков программирования