Effects. A polymorphic language based on Scheme, allowing

side effects and first-class functions. It attempts to

integrate functional and imperative programming.

Expressions have types, side effects (e.g. reading, writing or

allocating) and regions (stating where the effects may occur).