Towards a comprehensive theory of monadic effects

  title={Towards a comprehensive theory of monadic effects},
  author={Andrzej Filinski},
It has been more than 20 years since monads were proposed as a unifying concept for computational effects, in both formal semantics and functional programs. Over that period, there has been substantial incremental progress on several fronts within the ensuing research area, including denotational, operational, and axiomatic characterizations of effects; principles and frameworks for combining effects; prescriptive vs. descriptive effect-type systems; specification vs. implementation of effects… CONTINUE READING