"Robert A Duff" <bobduff@shell01.TheWorld.com> a �crit dans le message news:
wcc1y5wi3bw.fsf@shell01.TheWorld.com...
> > So I think that one should leave "function"s as they are, and
> > just allow procedures with results:
> >
> >    procedure Foo (...) return Bar;
>
> Yeah, and then eliminate the "function Foo..." syntax.
> That would solve the problem!
>
FWIW, early Ada (ca 1979) made the difference between functions (that had to
be pure) and "value returning procedures" with the above syntax, which
allowed arbitrary side-effects. This has been dropped in the process, but at
least it means that the issue has been considered.

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