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,UTF8
Path: 
 g2news1.google.com!news4.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!138.195.8.3.MISMATCH!news.ecp.fr!aioe.org!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada requires too much typing!
Date: Sun, 06 Jun 2010 06:25:30 +0200
Organization: Ada At Home
Message-ID: <op.vdu2ksuoule2fv@garhos>
References: <htnk3r02s27@drn.newsguy.com> <op.vdob5ebexmjfy8@garhos>
 <hueb5q0rbp@drn.newsguy.com>
NNTP-Posting-Host: nOz3PrZI1lJ+TrIP91FCvA.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; 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:11332
Date: 2010-06-06T06:25:30+02:00
List-Id: <comp.lang.ada>

Le Sat, 05 Jun 2010 22:13:46 +0200, Luis Espinal <Luis_member@newsguy.co=
m>  =

a =C3=A9crit:
> You didn't have to drop your previous investment in AS/400 machines, f=
or
> example. You could run your Java apps there, and as you buy new hardwa=
re  =

> (almost
> any type of hardware) when you needed to scale up (again, w/o having t=
o  =

> throw
> away your previous machinery.)
OK.

> Google is implementing a different
> java virtual machine called Dalvik for the android platform. Dalvik's =
is
> register based whereas Sun's is stack-based.
On the margin: I suppose then it will use a kind of =E2=80=9Clink regist=
er=E2=80=9D for  =

recursivity and a kind of =E2=80=9Clocal data pointer register=E2=80=9D =
for locals (funny).

> Not to belittle Java's contribution, but it seems that in the long run=
,  =

> Sun's
> long lasting legacy will be its Java virtual machine instead of the Ja=
va
> language itself.
>
> - Luis.
That is indeed what I feel I have understood after this thread (just  =

wonder how SUN will react in the future, ... I mean, economically, as th=
is  =

is most of time a matter also)


-- =

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.