comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>
Subject: Re: The greatest feature of the language is ....
Date: 2000/10/07
Date: 2000-10-07T13:55:48+00:00	[thread overview]
Message-ID: <8rna14$ib2$1@wanadoo.fr> (raw)
In-Reply-To: gIeD5.100944$zJ5.4691907@news.chello.at

> After a couple of years developing with Ada (and C and FORTRAN and...) i
> think the most
> valuable issue is the "Ada way of thinking":
> "In god we trust - anything else we check!"
>
A very good one !
Similarly, when I teach, every now and then someone asks: "does the compiler check that....".
I immediately stop the guy and answer:
"You are very welcome to ask questions at any point. But to save some time, for every question that starts with "does the compiler
check that....", the answer is YES".

--
---------------------------------------------------------
           J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://pro.wanadoo.fr/adalog






  reply	other threads:[~2000-10-07  0:00 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-10-05  0:00 The greatest feature of the language is Wes Groleau
2000-10-05  0:00 ` Preben Randhol
2000-10-05  0:00   ` Wes Groleau
2000-10-05  0:00     ` tmoran
2000-10-06  1:08     ` Preben Randhol
2000-10-06  3:10       ` James Rogers
2000-10-06  0:00 ` Marin David Condic
2000-10-06  0:00 ` Lao Xiao Hai
2000-10-06  0:00   ` Laurent Guerby
2000-10-07  0:28     ` Ted Dennison
2000-10-07  3:20       ` Jeff Carter
2000-10-07  5:36         ` jpwoodruff
2000-10-06  6:56 ` Werner Pachler
2000-10-07  0:00   ` Jean-Pierre Rosen [this message]
2000-10-10  0:00     ` Robert A Duff
2000-10-16  0:00 ` David Emery
  -- strict thread matches above, loose matches on Subject: below --
2000-10-09  0:00 Soeren.Henssel-Rasmussen
2000-10-09  0:00 ` Pat Rogers
2000-10-10  0:00   ` Lao Xiao Hai
2000-10-10  0:00     ` Pat Rogers
2000-10-23  0:00     ` Charles Hixson
2000-10-23  0:00       ` Pat Rogers
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox