Exception programming difficult

[Mehrdad]

On Tuesday, 14 August 2012 at 23:21:32 UTC, Mehrdad wrote:
> Or even better:
>
> auto joiner(RoR, Separator)(RoR r, Separator sep)
> 	throws(auto);
>
>
> That way it's easy enough for the programmer to make the 
> compiler shut up (it's certainly easier than swallowing the 
> exception), while allowing him to write functions that are 
> perfectly transparent toward exceptions, and which would be 
> allowed to throw/catch as they would in any other 
> exception-unchecked language.
>
>
> IMO it would work well in practice.


Caveat perhaps worth mentioning:
Indirect calls (function pointers, delegates, virtual methods) 
would be inferred as throw-all, and would preferably give an 
informational warning to the user that they may need tighter 
exception specifications.