comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada syntax questions
Date: Sat, 19 Dec 2020 13:40:25 +0100	[thread overview]
Message-ID: <rrksbo$1jli$1@gioia.aioe.org> (raw)
In-Reply-To: 5fdde913$0$3238$426a74cc@news.free.fr

On 2020-12-19 12:50, DrPi wrote:

>  > Why would you care?
> 
> Calling a function can have side effects. Accessing an array or a 
> variable can't have side effects.

Untrue. Both array and variable access have side effects on the 
registers, on the cache, on the process memory paging, in the form of 
exception propagation etc. Even direct effects on the outside world are 
possible when using machine memory load instructions. E.g. on some 
hardware reading memory at the specific address location means physical 
serial input.

All these effects are either desired parts of the implementation or else 
bugs to be fixed. If desired, why do you care?

>> You seem to be implying this is bad; why?
> 
> Reading the code can't tell you the writer's intentions.

What intentions? Unless you are talking about the intention to deploy a 
specific machine instruction, function or array gives you no clue. But 
even then. PDP-11 FORTRAN IV used subprogram calls to implement 
basically everything, elementary arithmetic operations. If the function 
is inlined, where is any call? Functions can be tabulated into lookup 
tables. Arrays can be compressed into functions.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2020-12-19 12:40 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-12-17 22:39 Ada syntax questions DrPi
2020-12-17 23:18 ` Gabriele Galeotti
2020-12-18  8:26 ` Jeffrey R. Carter
2020-12-18  9:18 ` Dmitry A. Kazakov
2020-12-18 16:55 ` Mart van de Wege
2020-12-18 17:38 ` Björn Lundin
2020-12-18 19:35 ` Niklas Holsti
2020-12-20 21:59   ` Keith Thompson
2020-12-22  1:04     ` Randy Brukardt
2020-12-22  8:00       ` Dmitry A. Kazakov
2020-12-23  1:23         ` Randy Brukardt
2020-12-23  8:59           ` Dmitry A. Kazakov
2020-12-24  4:06             ` Randy Brukardt
2020-12-24  9:37               ` Dmitry A. Kazakov
2020-12-22 13:48       ` AdaMagica
2020-12-20 21:59   ` Keith Thompson
2020-12-21  8:08     ` Dmitry A. Kazakov
2020-12-18 23:09 ` Stephen Leake
2020-12-19 11:50   ` DrPi
2020-12-19 12:40     ` Dmitry A. Kazakov [this message]
2020-12-19 17:13       ` Andreas ZEURCHER
2020-12-19 17:49         ` Dmitry A. Kazakov
2020-12-19 18:40           ` Andreas ZEURCHER
2020-12-19 19:37             ` Dmitry A. Kazakov
2020-12-19 22:11               ` Andreas ZEURCHER
2020-12-20  8:47                 ` Dmitry A. Kazakov
2020-12-20 16:53                   ` Andreas ZEURCHER
2020-12-22  0:58                     ` Randy Brukardt
2020-12-22  2:39                       ` Andreas ZEURCHER
2020-12-22 10:05                     ` Stéphane Rivière
2020-12-25  9:34                     ` G.B.
2020-12-19 17:01     ` AdaMagica
2020-12-19 21:51     ` Stephen Leake
2020-12-19 22:20       ` Andreas ZEURCHER
2020-12-20 14:10       ` DrPi
replies disabled

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