Re: Interesting effects in array renaming

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

Georg Bauhaus wrote:

>Vinzent Hoefler <ada.rocks@jlfencey.com> wrote:
>: Randy Brukardt wrote:
>: 
>:>But there are a number of things about Ada that are wrong (the inability
>:>to use "in out" parameters on functions is the most obvious to me),
>: 
>: In fact the idea that a function shall have no (or at least very
>                       pure
>: limited) side effects is a quite good one.
>
>Image the name of the beast wasn't function.

Well, I was thinking of VHDL and there exists the concept of pure and
impure functions. "pure" says, regardless of what happens, this
function will *always* return the same value for the same parameter
set with which it is called, but the "impure" function might read some
signal, so its return value might be different from the previous even
when called with the same parameters.

So i.e. SPARK's functions that should be free of side effects, are
really the equivalent to VHDL's _im_pure function like this one:

|impure function Check_Signal (Signal : Std_Logic) return Std_Logic is
|begin
|   return Global_State xor Signal;
|end Check_Signal;

So, no. A pure function (in a more mathematical sense) was not what I
was talking about.
Impure functions look ok for me, but they still shouldn't be able to
change their parameters or (more generally) the state of the system.


Vinzent.

-- 
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.