by Vesa Karvonen <vesa.karvonen@[EMAIL PROTECTED]
>
Feb 28, 2008 at 07:53 PM
Joachim Durchholz <jo@[EMAIL PROTECTED]
> wrote:
> Am Donnerstag, den 28.02.2008, 11:16 +0000 schrieb Ian.Stark@[EMAIL PROTECTED]
> > 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
> I have known this idiom as try-catch-finally (I think these keywords are
> used in Delphi). [...]
Note that this (try-...-finally) is *not* the main point of the
Exceptional Syntax article. (Note the pattern match between "of" and
"catch" in the above Erlang example.) I recommend reading the Exceptional
Syntax article.
-Vesa Karvonen