Re: try ... finally ...

"David B. Benson" <dbenson@[EMAIL PROTECTED]
> writes:
> On Feb 21, 6:05 am, rossb...@[EMAIL PROTECTED]
 wrote:
>> http://www.ps.uni-sb.de/alice/manual/sugar.html#finally
>
> Very nice!  Thank you.

There's a further refinement of this in the "exceptional syntax"
proposed by Benton+Kennedy in JFP 11(4):394-410

  http://dx.doi.org/10.1017/S0956796801004099
  http://research.microsoft.com/~akenn/sml/ExceptionalSyntax.pdf

where you want to identify code that runs only if an exception is not
raised.  Independently, Erlang introduced the same thing:

 try Expr of 
   Pattern1 [when Guard1] -> Body1;
   ...
 catch
   ExceptionPattern1 [when ExceptionGuard1] -> ExceptionBody1
   ...
 after
   FinalBody

The point is that the handler is wrapped only around Expr,
not Body1, whereas FinalBody applies to everything. 

  http://www.erlang.org/doc/reference_manual/expressions.html#try

  Carlsson et al., Proc. 2004 Erlang w'shop
  http://doi.acm.org/10.1145/1022471.1022475
  http://www.erlang.se/workshop/2004/exception.pdf

--
Ian Stark                           http://www.inf.ed.ac.uk/~stark
LFCS, School of Informatics, The University of Edinburgh, Scotland