A duality between exceptions and states (Q2909735)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A duality between exceptions and states |
scientific article; zbMATH DE number 6078318
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A duality between exceptions and states |
scientific article; zbMATH DE number 6078318 |
Statements
A duality between exceptions and states (English)
0 references
6 September 2012
0 references
computational effects
0 references
exception
0 references
state
0 references
duality
0 references
The short note proves a categorical duality between the handling of exceptions and the structure of states in an imperative language, once the control is dissociated from the elementary operation that recovers from exceptions. Both are defined through commutativity of certain diagrams which are formally dual in a categorical sense.
0 references
0.7459630370140076
0 references
0.7295686602592468
0 references
0.7242213487625122
0 references
