Programming Language Theory ConceptSide-effectProperties 4Hide BooksChapter 2. Evaluation JourneyProgramming Language Theory Statusmastered Tagslanguage feature designprogramming paradigmAn observable interaction with the outside world or modification of state beyond returning a value, such as I/O, mutation, or exceptions. Previous in ConceptsShadowingNext in Concepts Simply typed lambda calculus