This section covers basic topics and illustrates the technical notion of a computational effect with several mathematical and programming examples. In everyday language, a “side effect” refers to the unintended or unforeseen consequences of an action. By analogy, in order to identify the side effect of a given computation, it is first necessary to isolate the “publicly stated” or “publicly expe...