[m-dev.] EDCGs and Higher Order Programming

[Fergus Henderson]

On 27-Jan-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> [Fergus wrote:]
> > Then you can write `write_strings' as
> > 
> > 	write_strings(Strs) -->>
> > 		list__foldl(io2p(io__write_string), Strs, $io, $=io).
> > 
> > [...]
> > the ", $io, $=io" notation is sufficiently concise
> 
> Putting in `$io, $=io' seems to fly in the face of the EDCG style.
> I'd rather see something like
> 
> write_strings(Strs) -->>
> 	list__foldl(io__write_string, Strs) + hidden(changes(io)).

If you're going to mention it explicitly here, then it is hardly
"hidden"!

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------