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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fc52c633190162e0
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!feeder3.cambrium.nl!feeder1.cambrium.nl!feed.tweaknews.nl!62.216.30.27.MISMATCH!newsgate.cistron.nl!xs4all!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsinpeer00.lnd.ops.eu.uu.net!bnewsinpeer00.bru.ops.eu.uu.net!emea.uu.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: why learn C?
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <1175236212.771445.135460@y66g2000hsf.googlegroups.com>
References: <1172144043.746296.44680@m58g2000cwm.googlegroups.com>
	 <slrnetr31o.875.Marc.Boyer@localhost.localdomain>
	 <1172161751.573558.24140@h3g2000cwc.googlegroups.com>
	 <slrnetri6j.875.Marc.Boyer@localhost.localdomain>
	 <546qkhF1tr7dtU1@mid.individual.net>
	 <slrnett8ph.807.Marc.Boyer@localhost.localdomain>
	 <5ZULh.48$YL5.40@newssvr29.news.prodigy.net>
	 <1175215906.645110.217810@e65g2000hsc.googlegroups.com>
	 <1175230352.808212.15550@e65g2000hsc.googlegroups.com>
	 <1175236212.771445.135460@y66g2000hsf.googlegroups.com>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1175246243.5771.67.camel@localhost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.8.1 
Date: Fri, 30 Mar 2007 11:17:23 +0200
NNTP-Posting-Date: 30 Mar 2007 11:16:05 CEST
NNTP-Posting-Host: bb2b816e.newsspool3.arcor-online.net
X-Trace: 
 DXC=V\1Zg3c2F8FFJ3]dH>I?oEMcF=Q^Z^V3H4Fo<]lROoRAFl8W>\BH3YBQLV^TbmHZXIA:ho7QcPOVCgMAOmdVN:JNYlQ]_]Eb2WC
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:14679
Date: 2007-03-30T11:16:05+02:00
List-Id: <comp.lang.ada>

On Thu, 2007-03-29 at 23:30 -0700, Case Crab wrote:
> On Mar 29, 10:52 pm, "jimmaureenrog...@worldnet.att.net"

> > Coding guidelines cannot by themselves prevent any errors.
> 
> Really?  I have found that coding practices can preclude certain
> classes of errors.

Can coding practices be improved by making them language
definitions?


> How many rules distinguish SPARK from the full Ada language?

If you allow me to be pedantic, SPARK is not distinguished from
Ada by external rules for programmers. Rather, it has its own
language definition, and translators that know about nothing
but the SPARK language. This approach is very different from
establishing coding rules.

For example, a coding rule might say, don't use recursion.
SPARK turns this coding rule into a language definition.
Unfortunately.