Objects and data structures in the FP paradigm

The way in which local data and data structures can be incorporated into untyped functional programming (FP) is demonstrated. A functional form called an infinite conditional (the CASE functional form) is added to the set of functional forms. CASE can be used to select functions dynamically, which has the effect of transforming objects into functions. In order to simulate pointers in algorithms on data structures, CASE could be used to define functions, which has the effect of changing contents of nodes into selector functions. Objects are defined using data structures which support local data. None of the definitions violate the simple semantics of FP. The object definitions also provide a mechanism to incorporate I/O into the FP style of programming