States and exceptions considered as dual effects

Details States and exceptions considered as dual effects States and exceptions considered as dual effects

2010-01-11

arxiv.org/abs/1001.1662v4

Computer Science

Logic in Computer Science

Scientific paper

In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known categorical duality between products and coproducts. More precisely, the lookup and update operations for states are respectively dual to the throw and catch operations for exceptions. This symmetry is deeply hidden in the programming languages; in order to unveil it, we start from the monoidal equational logic and we add progressively the logical features which are necessary for dealing with either effect. This approach gives rise to a new point of view on states and exceptions, which bypasses the problems due to the non-algebraicity of handling exceptions.

Affiliated with

Also associated with

No associations

Rating

States and exceptions considered as dual effects does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with States and exceptions considered as dual effects, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and States and exceptions considered as dual effects will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-719133