From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5af5c381381ac5a7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!tudelft.nl!txtfeed1.tudelft.nl!zen.net.uk!dedekind.zen.co.uk!aioe.org!not-for-mail
From: =?iso-8859-15?Q?Yannick_Duch=EAne_=28Hibou57=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada requires too much typing!
Date: Thu, 10 Jun 2010 10:51:12 +0200
Organization: Ada At Home
Message-ID: <op.vd2tjmtxxmjfy8@garhos>
References: <htnk3r02s27@drn.newsguy.com>
 <hto4st$7g2$1@news.eternal-september.org> <hu3u6e024bi@drn.newsguy.com>
 <op.vdve3ko0z25lew@macpro-eth1.krischik.com> <m21vck5uzp.fsf@pushface.org>
 <op.vdvntvqyz25lew@macpro-eth1.krischik.com>
 <af8f8146-08a9-4ad9-8eed-edbc1a6bbc55@y11g2000yqm.googlegroups.com>
 <op.vdxa48vdz25lew@macpro-eth1.krischik.com>
 <03f84a0a-e070-43a9-9b68-920345f64f94@r27g2000yqb.googlegroups.com>
 <op.vdxqmnd6z25lew@macpro-eth1.krischik.com>
 <1c704c1e-1b2e-427f-ae0e-3b2a0f976c7c@y4g2000yqy.googlegroups.com>
 <op.vdy4awkuz25lew@macpro-eth1.krischik.com>
 <c459b285-851b-4d6f-95fe-0c28b58ddf45@e5g2000yqn.googlegroups.com>
 <hupvpq$57q$1@munin.nbi.dk>
 <10855f68-76a1-4600-ba65-464dab6c6274@w12g2000yqj.googlegroups.com>
 <op.vd2n5hzlxmjfy8@garhos>
 <35dd1a8f-1af8-4979-9663-29f7f4cb302e@g19g2000yqc.googlegroups.com>
NNTP-Posting-Host: V5c8K/i9W6tPzBeTPWRJ1g.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.53 (Win32)
Xref: g2news1.google.com comp.lang.ada:11564
Date: 2010-06-10T10:51:12+02:00
List-Id: <comp.lang.ada>

Le Thu, 10 Jun 2010 09:36:36 +0200, Vadim Godunko <vgodunko@gmail.com> a=
  =

=E9crit:
> 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 m=
ay  =

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.