On the relation of aspects and monads

12 years 1 months ago
On the relation of aspects and monads
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences are only superficial, and if not, where they are rooted. The aim of this paper is to contrast both mechanisms w.r.t. their capabilities and their effects on modularity, first by looking at monads as a way to express tangling concerns in functional programming and by discussing whether they can be regarded as a form of AOP, then by taking the view that monads express concerns of computations and by analyzing the extent to which aspects are able to handle those concerns. Our results are mostly negative: monads are not capable of quantifying over points in the program execution in a declarative way, whereas aspects are not very useful in ing over computational capabilities. Categories and Subject Descriptors D.2.11 [Software Engineering]: Software Architectures-Languages; D.3.3 [Programming Languages]: Language...
Christian Hofer, Klaus Ostermann
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where FOAL
Authors Christian Hofer, Klaus Ostermann
Comments (0)