Algebraic effects in a programming language

Maciej Adam Pieróg: Nowadays, computer systems control almost every aspect of our lives. There is a constantly increasing demand for safety-critical software of growing complexity. To meet this demand, one needs appropriate tools, and at the very heart of softwaredevelopment toolchain lays a programming language in which one can describe the logic of the system.