|
Logic & Semantics |
I will introduce the notion of "effectoid" as a way of axiomatising the notion of computational effect. Guided by classical algebra, I will define several effectoids equationally and explore their relationship with each other. To demonstrate their computational relevance, I will by apply them to global exceptions, partiality, continuations, and global state.