Una expresión es referencialmente transparente si puede ser remplazada por su valor, pero sin que este altere los resultados producidos por el programa.
Otra ventaja de esta es que permite al programador, o al traductor de cierto lenguaje, comprender un poco más sobre el comportamiento del programa.
Este razonamiento puede ser útil para comprobar que un programa es correcto, simplificar loa algoritmos, etc.