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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3d6589e7b2c60444
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-04 18:26:04 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!peernews-us.colt.net!newsfeed.news2me.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail
From: Richard Riehle <richard@adaworks.com>
Newsgroups: comp.lang.ada
Subject: Re: employment with ada
Date: Sun, 04 May 2003 18:24:43 -0700
Organization: AdaWorks Software Engineering
Message-ID: <3EB5BD5B.BF954586@adaworks.com>
References: <626e8ae.0305011636.5e899da3@posting.google.com>
 <4mo7bvc2n70k6eikm3muu2965nbo3m77ov@4ax.com> <3EB415CB.6D97B14D@adaworks.com>
 <6Mcta.37135$D%4.20715@nwrdny03.gnilink.net>
Reply-To: richard@adaworks.com
NNTP-Posting-Host: 41.b2.40.dc
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Server-Date: 5 May 2003 01:26:04 GMT
X-Mailer: Mozilla 4.7 [en] (Win98; I)
X-Accept-Language: en
Xref: archiver1.google.com comp.lang.ada:36947
Date: 2003-05-05T01:26:04+00:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:

> Richard Riehle wrote:
>  > Instead, they cobble together a set of restrictions for C
>
> How is this different from SPARK?

Excellent question.

When one looks at Ada (or SPARK) as a tool that simply constrains
what can be done rather than tool that enables things to get done, there

is no difference at all.

Sadly, too many people take this restrictive view of Ada.   It is far
more
than that.   In another post, I make a few points about this, but to
keep
this short, let me emphasize that Ada is not about what one cannot do
but what one can do.   It is what one can do that is important.

Richard Riehle