Assignments for Applicative Languages

@inproceedings{Swarup1991AssignmentsFA,
  title={Assignments for Applicative Languages},
  author={Vipin Swarup and Uday S. Reddy and Evan Ireland},
  booktitle={FPCA},
  year={1991}
}
We propose a theoretical framework for adding assignments and dynamic data to functional languages without violating their semantic properties. This differs from semi-functional languages like Scheme and ML in that values of expressions remain static and side-effect-free. A new form of abstraction called observer is designed to encapsulate state-oriented computation from the remaining purely applicative computation. The type system ensures that observers are combined linearly, allowing an… CONTINUE READING