If a variable is only assigned a value once then an instance of that variable is thereafter semantically equivalent to the value. Thus a single assignment language is a functional language.

See also zero assignment.