Effect Checking in Scala

Jump to bottom Edit New page

soundrabbit edited this page Oct 6, 2011 · 4 revisions

Describe properties that all effects must adhere to

Idempotence
No ordering
"May" semantics

How effects are checked

latent effects
subtyping

Describe effect checking environments

they can only grow when effects are applied to them
it has to be possible to do a worst-case combination of two effects

Concrete effect systems

Effect Polymorphism describes how effect polymorphism is implemented.
State Effects describes the effect system tracking state modifications.