[mercury-users] Mercury needs a Tutorial

[Tyson Dowd]

On 16-Feb-1999, Richard A. O'Keefe <ok at atlas.otago.ac.nz> wrote:
> 	> David Powers wrote on 15 Feb:
> 	> > The idea of programs having input/output parameters will be familiar to those 
> 	> > who learnt strict Jensen&Wirth Pascal (program asdf(input,output)).
> Tyson Dowd wrote
> 	Ada has similar.
> 
> No, it doesn't.  There is *no* equivalent in Ada of
> 	program Foo(Input, Output);
> In Ada, Current_Input and Current_Output are functions in the package
> Ada.Text_IO.  In effect, they are read-only global variables which can
> be modified by the procedures Set_Input and Set_Output.  They are not
> parameters of a program heading, not least because Ada hasn't any
> program headings at all.  *Any* parameterless top-level procedure can
> be the entry point of an Ada program.    ^^^^

I'm sorry, I posted that before coffee and missed the "program".  Please
ignore any mail I send before 10am local time in future.

-- 
The quantum sort: 
	while (!sorted) { do_nothing(); }
Tyson Dowd   <tyson at tyse.net>   http://tyse.net/