[e-lang] Notes from latest Joe-E meeting

[David Hopwood]

I wrote:
> A try/catch/finally can be written as:
> 
>   JoeE.tryFinallyThrowsChecked(new Thunk() { public void run() { try {
>       ... X ...
>   } catch (FooException e) {
>       ... Y(e) ...
>   }}}, new Thunk() { public void run() {
>       ... Z ...
>   }});
> 
> which is arguably better than:
> 
>   JoeE.tryFinallyThrowsChecked(new Thunk() { public void run() {

I meant "JoeE.tryCatchFinallyThrowsChecked(..." here.

>       ... X ...
>   }}, new Catch() { public void handle(Exception e) {
>       if (e instanceof FooException) {
>           ... Y((FooException) e) ...
>       } else { throw e; }
>   }}, new Thunk() { public void run() {
>       ... Z ...
>   }});

-- 
David Hopwood <david.hopwood at industrial-designers.co.uk> (note new address)