Automatic code transformation with state transformer monads

摘要

Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.

主权项

1. A computer-readable memory device having computer-executable components stored thereon, the computer-executable components, comprising:
a component configured to receive inherently stateful code specified in an imperative programming language; and a transform component configured to convert the stateful code into stateless code by transforming a form of a state associated with the stateful code into an argument explicitly representing the state in the stateless code, wherein the transform component is further configured to facilitate threading the argument explicitly representing the state through a sequence of stateless code operations with a same serialization infrastructure employed for both argument and result values, and wherein a first of the stateless code operations in the sequence is configured to accept a received state as an additional argument and return a modified state as an additional result to a second of the stateless code operations in the sequence.