Computer science distinguishes between two major programming paradigms: imperative and functional programming. Central to imperative programming is the notion of some form of state (or memory) together with a list of ...