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)

EditText of this page (last edited August 15, 2008) or FindPage with title or text search