Re: Ada requires too much typing!

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

Le Thu, 10 Jun 2010 09:36:36 +0200, Vadim Godunko <vgodunko@gmail.com> a  
écrit:
> No, I more asked for real example where Ada's OOP is be used without
> access types in OOP way. The only known example is Tuker's work on
> some part of ASIS 05, but from my point of view this work is set of
> tricks and assumptions successful for concrete example but not for
> general use.
Depends on the reason you feel to need it. Propose a specification, we may  
talk about a modal. Do you need it for allocation ? Allocation is not  
specific to the OOP-big-bag, and dispatching does not implies memory  
allocation, you can use pools, etc, in Ada most of things are orthogonal  
you know, and using dynamic dispatching in Ada does not stick you with  
anything else which you may be afraid will come with.

If you have an example behavior in another language you've practiced on a  
case similar to the one you want to drive with Ada, then let us know (so  
we will be more likely to understand what you have in mind).

-- 
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.