Programación superior: domesticando los efectos laterales

Un artículo en el que resume cuáles son los distintos enfoques utilizados para representar los cambios de estado por distintas corrientes de investigación.

A survey and discussion of taming effects | Lambda the Ultimate

I've researched many different approaches to taming effects in the hope of maintaining referential transparency, and I will summarize and link to those works here.

The two predominant techniques are obviously monads as in Haskell, and linear types as in Clean.