comp.lang.ada
 help / color / mirror / Atom feed
From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Negative float problem
Date: Wed, 02 Nov 2005 15:20:44 +0100
Date: 2005-11-02T15:20:44+01:00	[thread overview]
Message-ID: <nvhakd.ihb.ln@hunter.axlog.fr> (raw)
In-Reply-To: <dkadfs$g96$1@sunnews.cern.ch>

Maciej Sobczak a �crit :
> As Samuel Tardieu said earlier about the original problem - "... almost 
> any Ada-er has learnt this rule the hard way one day or another". For me 
> this sentence expresses some defficiency in the language. If programmers 
> are bound to having hard rules no matter what, then I'd prefer those 
> rules to be easier in 95% cases and more difficult in the remaining 
> corners than the other way round.
> 
Since you are new to Ada, there is something that you must understand. 
The Ada language has been designed in such a way that either a construct 
always works, and works the same with every implementation, or does not 
compile. There is no space for "sometimes", "maybe", "depends", and 
other things like that that are common in other languages.

The price for this is that the user is sometimes frustrated, because it 
seems that something very natural from a user's point of view is 
rejected by the compiler. Quite often, the reason is that the simple 
case would work, but the general one would not. Hence it is always rejected.

In the long run, this is quite reassuring. You get confident in the 
language and the compiler, because you understand that they are there to 
protect you - sometimes from issues that you don't even know about. And 
you will accept the (small) price you have to pay for this.

(Agreed: some discussions on c.l.a. show that not everybody is accepting 
the price :-)

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



  reply	other threads:[~2005-11-02 14:20 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-10-26 18:32 Negative float problem Luke
2005-10-26 19:05 ` Samuel Tardieu
2005-10-26 20:42 ` Robert A Duff
2005-10-27  8:05   ` Robert I. Eachus
2005-10-27 14:48     ` Robert A Duff
2005-10-27 15:07       ` Maciej Sobczak
2005-10-27 15:47         ` Robert A Duff
2005-10-28  8:34           ` Maciej Sobczak
2005-10-29 23:39             ` Brian May
2005-10-30  9:11             ` Dmitry A. Kazakov
2005-10-31  9:46               ` Maciej Sobczak
2005-10-31 14:20                 ` Dmitry A. Kazakov
2005-11-01 11:06                   ` Maciej Sobczak
2005-11-01 14:06                     ` Robert A Duff
2005-11-01 14:46                       ` Martin Dowie
2005-11-01 16:04                         ` Hyman Rosen
2005-11-01 17:19                           ` Martin Dowie
2005-11-02  0:13                         ` Robert A Duff
2005-11-02  6:59                           ` Martin Dowie
2005-11-02 13:24                             ` Robert A Duff
2005-11-02 15:22                               ` Martin Dowie
2005-11-01 15:12                       ` Maciej Sobczak
2005-11-02  0:28                         ` Robert A Duff
2005-11-02  4:16                           ` Steve Whalen
2005-11-14  7:26                           ` Dave Thompson
2005-11-20  0:19                             ` Robert A Duff
2005-11-20 11:07                               ` Dmitry A. Kazakov
2005-11-01 14:27                     ` Dmitry A. Kazakov
2005-11-01 15:19                       ` Maciej Sobczak
2005-11-01 19:44                         ` Dmitry A. Kazakov
2005-11-02  9:04                           ` Maciej Sobczak
2005-11-02 11:17                             ` Dmitry A. Kazakov
2005-11-02 13:03                               ` Maciej Sobczak
2005-11-02 14:20                                 ` Jean-Pierre Rosen [this message]
2005-11-02 20:15                                   ` Jeffrey R. Carter
2005-11-03 13:06                                     ` Jean-Pierre Rosen
2005-11-03 18:32                                       ` Jeffrey R. Carter
2005-11-03  9:51                                   ` Maciej Sobczak
2005-11-03 13:20                                     ` Jean-Pierre Rosen
2005-11-03 15:02                                       ` Maciej Sobczak
2005-11-03 18:55                                         ` Frank J. Lhota
2005-11-04  9:32                                           ` Maciej Sobczak
2005-11-03 20:59                                     ` Simon Wright
2005-11-02 13:32                               ` Robert A Duff
2005-11-02 14:44                                 ` Dmitry A. Kazakov
2005-11-02 13:47                               ` Dmitry A. Kazakov
2005-10-27 18:33       ` Dmitry A. Kazakov
replies disabled

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