La transparencia referencial es un término utilizado en la programación funcional que se refiere a la propiedad por la cual "en un programa, una expresión "E" del lenguaje puede ser sustituida por otra de igual valor "V", resultando en un programa cuya semántica no va a diferir de la del original".