Andrej Bauer: Coop

Datum objave: 13. 5. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 16. 5. 2019, Jadranska 21, učilnica 3.07

Abstract: I will present an early version of a prototype programming language Coop (pronounced as in "co-operation", not "where the chickens sleep") which implements computational effects using comodels of algebraic theories. The language also supports a notion of signal akin to signals in operating systems. These behave differently from exceptions. Coop makes the interaction with the external world crips and precise, and allows the programmer to make their own enclosures in which effectful code is run with a guarantee that it will get properly finalized.

This is joint work with Danel Ahman.