Effect Typing

StaticTyping of the (side)effects of a method.

Java's CheckedException is an example of an explicit effect type.

Chapter 3 of "Advanced Topics in Types and Programming Languages" Benjamin C. Pierce has a nice formal introduction with application to Regions. Available on Google here:


Related to OnMonads (monads and effect types seem to be dual or at least strongly connected)

View edit of August 15, 2008 or FindPage with title or text search