Designing aspects for side-effect localization

ABSTRACT

Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This paper presents an approach to provide side-effecting aspects for purely lazy functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to a purely monadic style functional code.

REFERENCES

• 1: Kung Chen , Shu-Chun Weng , Meng Wang , Siau-Cheng Khoo , Chung-Hsin Chen, A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages, Proceedings of the 14th international Symposium on Static Analysis, August 22-24, 2007, Kongens Lyngby, Denmark [doi>10.1007/978-3-540-74061-2_3]
• 2: Martin Erwig , Deling Ren, Monadification of functional programs, Science of Computer Programming, v.52 n.1-3, p.101-129, August 2004 [doi>10.1016/j.scico.2004.03.004]
• 3: Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.237-247, June 21-25, 1993, Albuquerque, New Mexico, United States
• 4: John Hatcliff , Olivier Danvy, A generic account of continuation-passing styles, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.458-471, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.178053]
• 5: Christian Hofer , Klaus Ostermann, On the relation of aspects and monads, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.27-33, March 13-13, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1233833.1233838]
• 6: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 7: Amir Shai Kishon, Theory and art of semantics-directed program execution monitoring, Yale University, New Haven, CT, 1992
• 8: Amir Kishon and Paul Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501--547, 1995.
• 9: Ralf Lämmel, Reuse by Program Transformation, Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), p.144-153, August 29-September 01, 1999
• 10: Sheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199528]
• 11: W. De Meuter. Monads as a theoretical foundation for aop. In International Workshop on Aspect-Oriented Programming at ECOOP, 1997.
• 12: Philip Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143169]
• 13: Meng Wang , Kung Chen , Siau-Cheng Khoo, Type-directed weaving of aspects for higher-order functional languages, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina [doi>10.1145/1111542.1111555]
• 14: Keith Wansbrough , Simon Peyton Jones, Once upon a polymorphic type, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.15-28, January 20-22, 1999, San Antonio, Texas, United States [doi>10.1145/292540.292545]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Optimization

General Terms:
Design, Languages, Theory, Verification

Keywords:
aspect-oriented programming, lazy semantics, side-effect