1. A code transformation system, comprising: a component that receives inherently stateful code specified in an imperative programming language; and a transform component that transforms the stateful code into stateless code in accordance with a state transform monad pattern.