Re: Ada requires too much typing!

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

Le Thu, 10 Jun 2010 08:34:07 +0200, Vadim Godunko <vgodunko@gmail.com> a  
écrit:
> I want to known more about how to use OOP in Ada without access types!
Wadim, if saying OOP, you meant dynamic dispatching, then you are indeed  
not required to use access type for that. Just use class-wide type : an  
object whose view is class-wide type, is dispatching. Alternatively and if  
needed, you can use a view conversion : if an object is not declared so  
that it has a class-wide type view, then you are still allowed to use a  
view-conversion expression.

Feel free to ask for, if you need more details or references to the ARM to  
read it your-self.

Have a nice day

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.