• Common place in functional languages – all tied up with referential transparency • Less common in languages with state that can be updated… – but can be used in very interesting ways...