Eff is a programming language in which computational effects and
handlers are first-class, so we can define new computational effects
and handle existing ones in flexible ways. This allows us to express
naturally not only the traditional computational effects, but also
control operators, such as delimited continuations, I/O redirection,
transactions, backtracking and other search strategies, and
cooperative multi-threading.
In the talk I shall first introduce Eff from a practical point of view
through examples, and then focus on a more precise treatment of a core
Eff. I shall also present an effect system for Eff.