Towards a comprehensive theory of monadic effects
Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
Standard
Towards a comprehensive theory of monadic effects. / Filinski, Andrzej.
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, 2011. p. 1-1.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - ABST
T1 - Towards a comprehensive theory of monadic effects
AU - Filinski, Andrzej
N1 - Conference code: 16
PY - 2011
Y1 - 2011
N2 - 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; and realizations of effect-related theoretical constructions in practical functional languages, both eager and lazy. Yet few would confidently claim that programs with computational effects are by now as well understood, and as thoroughly supported by formal reasoning techniques, as types and terms in purely functional settings.This talk outlines (one view of) the landscape of effectful functional programming, and attempts to assess our collective progress towards the goal of a broad yet coherent theory of monadic effects. We are not quite there yet, but intriguingly, many potential ingredients of such a theory have been repeatedly discovered and developed, with only minor variations, in seemingly unrelated contexts. Some stronger-than-expected ties between the research topics mentioned above also instill hope that there is indeed a natural, comprehensive theory of monadic effects, waiting to be fully explicated.
AB - 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; and realizations of effect-related theoretical constructions in practical functional languages, both eager and lazy. Yet few would confidently claim that programs with computational effects are by now as well understood, and as thoroughly supported by formal reasoning techniques, as types and terms in purely functional settings.This talk outlines (one view of) the landscape of effectful functional programming, and attempts to assess our collective progress towards the goal of a broad yet coherent theory of monadic effects. We are not quite there yet, but intriguingly, many potential ingredients of such a theory have been repeatedly discovered and developed, with only minor variations, in seemingly unrelated contexts. Some stronger-than-expected ties between the research topics mentioned above also instill hope that there is indeed a natural, comprehensive theory of monadic effects, waiting to be fully explicated.
U2 - 10.1145/2034773.2034775
DO - 10.1145/2034773.2034775
M3 - Conference abstract in proceedings
SP - 1
EP - 1
BT - Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
PB - Association for Computing Machinery
Y2 - 19 September 2011 through 21 September 2011
ER -
ID: 45950831