Exception programming difficult

[Mehrdad]

On Tuesday, 14 August 2012 at 23:13:07 UTC, Mehrdad wrote:
> On Monday, 13 August 2012 at 15:32:45 UTC, Dmitry Olshansky 
> wrote:
>> So (*yawn*) tell what kind of exception specification the 
>> following function should have:
>>
>> auto joiner(RoR, Separator)(RoR r, Separator sep);
>
>
>
> auto joiner(RoR, Separator)(RoR r, Separator sep)
> 	throws(?);


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.