One interesting aspect of Refal is its use of/for supercompilation, where programs are partially evaluated at compile time so that statically-known computations can be done once up front, rather than many (but possibly zero!) times at runtime.