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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!newsfeed1.swip.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 18 Jun 2014 07:46:13 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: a new language, designed for safety !
References: <lmj8s6$hhp$1@speranza.aioe.org>
 <1402308235.2520.153.camel@pascal.home.net> <85ioo9yukk.fsf@stephe-leake.org>
 <ln6tlg$1vc$1@dont-email.me>
 <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
 <ln6uv9$bk8$1@dont-email.me>
 <b22db9fb-a73d-438a-8cfd-f0bb1db70eed@googlegroups.com>
 <MPElv.491358$1w1.428312@fx03.iad>
 <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com>
 <ln7ngt$c8a$1@dont-email.me>
 <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org>
 <lnn5ko$ner$1@loke.gir.dk>
 <665318547424646901.823673laguest-archeia.com@nntp.aioe.org>
 <lnnt1g$mka$1@dont-email.me> <lnpdt2$ggn$1@dont-email.me>
 <lnq5kj$e2v$1@loke.gir.dk> <lnq78k$ur8$1@dont-email.me>
In-Reply-To: <lnq78k$ur8$1@dont-email.me>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <53a127a6$0$6658$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 18 Jun 2014 07:46:14 CEST
NNTP-Posting-Host: 6360b7e0.newsspool3.arcor-online.net
X-Trace: 
 DXC=\g<cc\\@Jk_YI9]OHn9o5^McF=Q^Z^V3X4Fo<]lROoRQ8kF<OcfhCO[I3?B2M?cZ7WPCY\c7>ejVX^_F37=DYH;_C@l?L93bMSV
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:20418
Date: 2014-06-18T07:46:14+02:00
List-Id: <comp.lang.ada>

On 17/06/14 22:08, Jeffrey Carter wrote:
> On 06/17/2014 12:41 PM, Randy Brukardt wrote:
>>
>> As Jeff says, Ada is only for software engineers. Most people do not want to
>> engineer software. (They shouldn't be allowed near a computer, IMHO, but
>> that's never going to happen.) Ergo, Ada is only for an "elite" (and those
>> who want to be "elite").
>
> Some day, perhaps, liability issues will keep coders from designing important software and choosing the language to write it in, just as liability issues keep construction workers from designing bridges and choosing the materials to build them with. Until then, though, we have the construction workers designing the bridges.
>

A language may require programmers to write a "responsibility
section" as part of an entity's interface: a formal description
that lists everything a client must know about it in order
to use it without error.

Ada 2012 contracts can be interpreted as a step in this direction,
I think. Unfortunately, Ada 2012 makes the contractual aspect of
programming an optional part, and in some pinboard style list of
notes at that.