Valued procedures

[dmitry6243@my-dejanews.com]

Hi All!

I do not want to restart this weary thread again. Just a question: was the
following alternative (which seems to be a good compromise with rigouristic
point of view) ever considered:

Let's allow, for instance:

    procedure SideEffect (X: in out State) return Boolean;  -- Valid

but

    function SideEffect (X: in out State) return Boolean;   -- Invalid

Further, I believe it should be possible to ignore the result of a procedure.
(Using Ada bindings would be much less painful and produce clearer code if you
were not forced to declare tonns of dummy variables just to ignore various
unused results.) So that either

(a) SideEffect (TheState);

    would be valid, or

(b) the null statement could have a form:

    null <any-expression>;    -- The result is explicitly ignored

Regards,
Dmitry Kazakov

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own