From: Stephen Leake <stephen_leake@acm.org>
To: comp.lang.ada@ada-france.org
Subject: Re: In-Out Parameters for functions
Date: 27 Jan 2004 17:38:54 -0500
Date: 2004-01-27T17:38:54-05:00 [thread overview]
Message-ID: <mailman.42.1075243150.2270.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <iSwwi50LxF@VB1162.spb.edu>
"Alexandre E. Kopilovitch" <aek@VB1162.spb.edu> writes:
> Stephen Leake wrote:
>
> > > Look at this formulae:
> > >
> > > F(A) + G(A);
> > >
> > > If F is permitted to change value of A then the result of the
> > > formulae may depend on order of computation. And this is
> > > obviously dangerous, because the formulae looks as typical
> > > mathematical expression, where this effect usually is not
> > > anticipated.
> >
> > Hmm. Let F be Sqrt (Ada.Numerics.Float_Random.Random), and G be
> > Ada.Numerics.Float_Random.Random. Then we see that Ada _requires_ the
> > behavior you are describing. So it's clearly a Good Thing :).
>
> "Random" is very special case, in which an intention is quite
> opposite to what is common in normal "regular" circumstances.
Ok, fine. What is wrong with using mode "in out" for functions in
special cases?
--
-- Stephe
next prev parent reply other threads:[~2004-01-27 22:38 UTC|newest]
Thread overview: 203+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <uhdyhq1zl.fsf@acm.org>
2004-01-27 20:48 ` In-Out Parameters for functions Alexandre E. Kopilovitch
2004-01-27 21:09 ` Hyman Rosen
2004-01-28 0:09 ` Alexandre E. Kopilovitch
2004-01-28 0:42 ` Hyman Rosen
2004-01-28 10:16 ` Dmitry A. Kazakov
[not found] ` <iSwwi50LxF@VB1162.spb.edu>
2004-01-27 22:38 ` Stephen Leake [this message]
[not found] <un089585d.fsf@acm.org>
2004-01-27 23:45 ` Alexandre E. Kopilovitch
[not found] ` <iSYWl50LxF@VB1162.spb.edu>
2004-01-28 2:53 ` Stephen Leake
2004-01-23 15:59 amado.alves
2004-01-23 18:02 ` Jean-Pierre Rosen
-- strict thread matches above, loose matches on Subject: below --
2004-01-09 22:30 In-Out Parameters for functions (was: Re: Certified C compilers for safety-critical embedded systems Robert A Duff
2004-01-09 23:38 ` Alexandre E. Kopilovitch
2004-01-23 14:01 ` In-Out Parameters for functions Wojtek Narczynski
2004-01-23 19:05 ` Alexandre E. Kopilovitch
2004-01-24 15:21 ` Wojtek Narczynski
2004-01-24 20:42 ` Alexandre E. Kopilovitch
2004-01-24 21:57 ` Robert A Duff
2004-01-25 21:02 ` Alexandre E. Kopilovitch
2004-01-26 10:17 ` Dmitry A. Kazakov
2004-01-26 20:19 ` Alexandre E. Kopilovitch
2004-01-27 9:22 ` Dmitry A. Kazakov
2004-01-26 14:06 ` Wojtek Narczynski
2004-01-26 19:00 ` Alexandre E. Kopilovitch
2004-01-27 10:24 ` Wojtek Narczynski
2004-01-26 20:38 ` Robert A Duff
2004-01-27 10:45 ` Wojtek Narczynski
2004-01-26 23:12 ` Robert A Duff
2004-01-26 23:24 ` Hyman Rosen
2004-01-26 23:37 ` Robert A Duff
2004-01-27 2:26 ` Hyman Rosen
2004-01-27 8:18 ` Stephen Leake
2004-01-27 17:37 ` Hyman Rosen
2004-01-27 19:05 ` David Starner
2004-01-27 19:31 ` Hyman Rosen
2004-01-27 20:06 ` Robert A Duff
2004-01-28 9:29 ` Dmitry A. Kazakov
2004-01-28 15:20 ` Hyman Rosen
2004-01-29 9:08 ` Dmitry A. Kazakov
2004-01-29 15:37 ` Hyman Rosen
2004-01-29 18:43 ` David Starner
2004-01-29 19:46 ` Hyman Rosen
2004-01-29 20:23 ` Georg Bauhaus
2004-01-29 21:36 ` Hyman Rosen
2004-01-30 17:39 ` Georg Bauhaus
2004-01-30 18:14 ` Hyman Rosen
2004-01-30 19:32 ` Georg Bauhaus
2004-01-30 20:51 ` Hyman Rosen
2004-01-30 23:25 ` Georg Bauhaus
2004-01-31 0:07 ` Robert I. Eachus
2004-01-29 23:52 ` David Starner
2004-01-30 3:02 ` Robert I. Eachus
2004-01-30 16:09 ` Hyman Rosen
2004-01-30 16:31 ` Peter Amey
2004-01-30 19:20 ` Hyman Rosen
2004-02-02 10:39 ` Peter Amey
2004-01-31 1:03 ` Robert I. Eachus
2004-01-30 9:53 ` Dmitry A. Kazakov
2004-01-30 17:06 ` Hyman Rosen
2004-01-30 17:52 ` David Starner
2004-01-30 20:28 ` Hyman Rosen
2004-01-30 21:31 ` Alexandre E. Kopilovitch
2004-02-01 4:10 ` Hyman Rosen
2004-02-01 21:05 ` David Starner
2004-02-01 21:55 ` Hyman Rosen
2004-02-02 2:20 ` David Starner
2004-02-02 14:36 ` Hyman Rosen
2004-01-31 5:27 ` Randy Brukardt
2004-02-01 4:02 ` Hyman Rosen
2004-02-03 1:54 ` Randy Brukardt
2004-02-03 3:07 ` Hyman Rosen
2004-02-01 2:14 ` cl1motorsports
2004-02-02 9:31 ` Dmitry A. Kazakov
2004-02-02 14:33 ` Hyman Rosen
2004-02-02 15:41 ` Dmitry A. Kazakov
2004-02-02 17:01 ` Hyman Rosen
2004-02-03 8:54 ` Dmitry A. Kazakov
2004-02-03 14:06 ` Hyman Rosen
2004-02-03 15:32 ` Dmitry A. Kazakov
2004-02-03 16:11 ` Hyman Rosen
2004-02-03 23:04 ` David Starner
2004-02-03 23:38 ` Hyman Rosen
2004-02-04 1:54 ` David Starner
2004-02-04 14:54 ` Hyman Rosen
2004-02-04 3:56 ` Alexandre E. Kopilovitch
2004-02-05 13:32 ` Hyman Rosen
2004-02-04 7:00 ` Vinzent 'Gadget' Hoefler
2004-02-04 14:57 ` Hyman Rosen
2004-02-04 15:19 ` Vinzent 'Gadget' Hoefler
2004-02-04 15:52 ` Hyman Rosen
2004-02-04 16:36 ` Vinzent 'Gadget' Hoefler
2004-02-04 17:11 ` Hyman Rosen
2004-02-04 19:58 ` David Starner
2004-02-04 10:28 ` Stuart Palin
2004-02-04 15:07 ` Hyman Rosen
2004-02-04 15:19 ` Vinzent 'Gadget' Hoefler
2004-02-04 15:54 ` Hyman Rosen
2004-02-04 16:36 ` Vinzent 'Gadget' Hoefler
2004-02-04 17:13 ` Hyman Rosen
2004-02-05 12:11 ` Stuart Palin
2004-02-05 13:22 ` Hyman Rosen
2004-02-05 14:53 ` Robert I. Eachus
2004-02-05 15:43 ` Hyman Rosen
2004-02-06 7:41 ` Robert I. Eachus
2004-02-24 1:27 ` Hyman Rosen
2004-02-06 10:27 ` Stuart Palin
2004-02-24 1:55 ` Hyman Rosen
2004-02-24 2:16 ` David Starner
2004-02-24 14:51 ` Hyman Rosen
2004-02-24 23:55 ` David Starner
2004-02-25 0:44 ` Stephen Leake
2004-02-25 9:21 ` Dmitry A. Kazakov
2004-02-25 9:33 ` David Starner
2004-02-25 14:21 ` Hyman Rosen
2004-02-25 14:34 ` Vinzent 'Gadget' Hoefler
2004-02-25 15:02 ` Hyman Rosen
2004-02-25 15:43 ` Vinzent 'Gadget' Hoefler
2004-02-25 15:53 ` Hyman Rosen
2004-02-25 16:05 ` Vinzent 'Gadget' Hoefler
2004-02-25 16:44 ` Hyman Rosen
2004-02-25 20:45 ` Randy Brukardt
2004-02-25 21:33 ` Hyman Rosen
2004-02-26 8:45 ` Preben Randhol
2004-02-26 8:46 ` Preben Randhol
2004-02-26 14:41 ` Hyman Rosen
2004-02-26 9:44 ` Vinzent 'Gadget' Hoefler
2004-02-26 13:24 ` Robert I. Eachus
2004-02-26 14:33 ` Jean-Pierre Rosen
2004-02-28 17:11 ` Robert I. Eachus
2004-02-26 15:21 ` Hyman Rosen
2004-02-27 5:21 ` Stephen Leake
2004-02-27 8:55 ` David Starner
2004-02-26 9:44 ` Vinzent 'Gadget' Hoefler
2004-02-26 15:24 ` Hyman Rosen
2004-02-26 17:33 ` Vinzent 'Gadget' Hoefler
2004-02-25 16:34 ` Preben Randhol
2004-02-25 16:45 ` Hyman Rosen
2004-02-25 18:37 ` Frank J. Lhota
2004-02-26 13:29 ` Robert I. Eachus
2004-02-25 16:35 ` Preben Randhol
2004-02-25 16:56 ` Hyman Rosen
2004-02-25 17:11 ` Preben Randhol
2004-02-25 17:33 ` Hyman Rosen
2004-02-25 15:44 ` Hyman Rosen
2004-02-25 16:10 ` Robert I. Eachus
2004-02-25 16:50 ` Hyman Rosen
2004-02-26 13:41 ` Robert I. Eachus
2004-02-26 15:44 ` Hyman Rosen
2004-02-28 17:34 ` Robert I. Eachus
2004-02-29 3:51 ` Hyman Rosen
2004-02-29 14:10 ` Robert I. Eachus
2004-02-29 15:37 ` Jon S. Anthony
2004-03-01 17:38 ` Hyman Rosen
2004-03-02 3:05 ` Robert I. Eachus
2004-03-02 7:08 ` Hyman Rosen
2004-03-02 8:48 ` Jacob Sparre Andersen
2004-03-02 15:24 ` Hyman Rosen
2004-03-02 15:42 ` Jacob Sparre Andersen
2004-03-02 16:33 ` Hyman Rosen
2004-03-02 22:06 ` Robert I. Eachus
2004-03-02 22:43 ` Randy Brukardt
2004-03-02 17:12 ` Robert I. Eachus
2004-03-02 17:28 ` Georg Bauhaus
2004-03-02 22:09 ` Robert I. Eachus
2004-03-04 0:08 ` Georg Bauhaus
2004-02-27 5:31 ` Stephen Leake
2004-02-25 12:01 ` Marin David Condic
2004-02-25 20:41 ` Randy Brukardt
2004-02-25 22:05 ` Jim Rogers
2004-02-25 22:19 ` Hyman Rosen
2004-02-26 9:34 ` Dmitry A. Kazakov
2004-02-26 9:44 ` Vinzent 'Gadget' Hoefler
2004-02-26 15:48 ` Hyman Rosen
2004-02-26 17:49 ` Vinzent 'Gadget' Hoefler
2004-02-26 18:12 ` Hyman Rosen
2004-02-27 0:55 ` David Starner
2004-02-27 23:37 ` Randy Brukardt
2004-02-26 12:42 ` Wojtek Narczynski
2004-02-26 12:47 ` Lutz Donnerhacke
2004-02-26 15:56 ` Hyman Rosen
2004-02-26 13:50 ` Robert I. Eachus
2004-02-26 16:00 ` Hyman Rosen
2004-02-28 17:48 ` Robert I. Eachus
2004-02-27 6:00 ` Stephen Leake
2004-02-28 18:18 ` Robert I. Eachus
2004-02-24 8:22 ` Jacob Sparre Andersen
2004-02-24 9:31 ` Jean-Pierre Rosen
2004-02-04 3:01 ` Alexandre E. Kopilovitch
2004-02-04 3:26 ` Ludovic Brenta
2004-02-04 9:40 ` Dmitry A. Kazakov
2004-01-27 9:36 ` Dmitry A. Kazakov
2004-01-27 12:45 ` Georg Bauhaus
2004-01-27 1:12 ` Alexandre E. Kopilovitch
2004-01-27 9:23 ` Peter Amey
2004-01-27 17:24 ` Robert A Duff
2004-01-28 10:30 ` Wojtek Narczynski
2004-01-28 20:39 ` Robert A Duff
2004-01-28 23:13 ` Randy Brukardt
2004-01-29 9:20 ` Dmitry A. Kazakov
2004-01-29 23:30 ` Randy Brukardt
2004-01-30 23:39 ` Alexandre E. Kopilovitch
2004-02-02 9:38 ` Dmitry A. Kazakov
2004-01-29 12:22 ` Wojtek Narczynski
2004-01-29 20:25 ` Alexandre E. Kopilovitch
2004-01-29 11:08 ` Peter Amey
[not found] ` <dSgYj40LxF@VB1162.spb.edu>
2004-01-27 7:34 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox