On Mon, 7 Jul 2008, Yitzchak Gale wrote:
> Henning Thielemann wrote:
>>> In Modula-3 you have to add the exceptions that can be raised to a
>>> PROCEDURE header. Java has adopted this mechanism.
>> Johan Tibell wrote:
>> Many people argue that this was a mistake
>> Whether you like it or not, we have this already for pure
> exceptions. The type system requires it for Either
> and ErrorT.
... and I think, that's a good design.