Eff

Functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.