nLab
side effect

Contents

Contents

Idea

In computer science, a side effect refers simply to the modification of some kind of state, such as changing the value of a variable, writing some data to disk or raising an exception.

References

On side effects in dependent (linear) type theory:

Last revised on May 13, 2021 at 07:26:39. See the history of this page for a list of all contributions to it.