A language construct that modifies the state of the system. The most common side-effects are assignment, input and output.
A language without side-effects is purely-functional - execution consists of the evaluation of an expression and all subexpressions are referentially transparent.
