In pure functional and logic languages, variables are bound to expressions and keep a single value during their entire lifetime due to the requirements of referential transparency.
V čistě funkcionálních a logicky zaměřených jazycích jsou proměnné omezeny na jeden výraz a hodnoty si udržují po celou dobu svého životního cyklu kvůli požadavkům na referenční transparentnost.