Opened 10 years ago

Closed 7 years ago

#12 closed task (invalid)

Revisit exception mechanism

Reported by: benl Owned by:
Priority: project Milestone:
Component: Source Type Inferencer Version:
Keywords: Cc:

Description

We eliminated the effect masking operator from the type system due to the poisoning problem. Perhaps we can do something with Benton + Buchlovsky's "Semantics of an effect analysis for exceptions" paper.

I remember seeing a ML paper on this saying there was a better way than try-catch. What was that?

Want typed exceptions, so we can thrown an object of arbitrary (user defined) type.

Change History (2)

comment:1 Changed 10 years ago by benl

  • Priority changed from normal to project

comment:2 Changed 7 years ago by benl

  • Resolution set to invalid
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.