Re: Press Release - Ada 2012 Language Standard Approved by ISO

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 23 Dec 2012 09:08:53 +0100, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> Contracted exceptions is an urgent need.

I agree this looks appealing, but Java already have the same and so some  
experiencing with it, and some Java people precisely have arguments  
against it. May be worth to pull their arguments here. One I feel to  
remember, is the exposition of implementation details which indirectly  
comes with it (at least, one of their argument). Indeed, one may argue  
they are the exceptions an implementation raise it self (either to match a  
contract or more freely) and they are the ones its dependencies may raise.  
Some exceptions are under control, some are not. Think about an hardware  
failure during some processing, as an example…

May be the contract, instead of specifying exhaustively what exceptions a  
sub‑program may raises, could instead specify it may raise “this one”, or  
must not raise “this other one”, all other exceptions being of unspecified  
occurrence.

Hope I'm clear enough (not sure to be)


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University