[m-dev.] Re: The Great Computer Language Shootout

[Fergus Henderson]

On 10-Jan-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> >From Robert Jeschofnik on 10/01/2001 05:39:48
> > > 
> > > A predicate that I seem to have written too many times is:
> > > 
> > > :- pred for(int, int, pred(int, T, T), T, T).
> > 
> > I thought this actually had been added. I remember that it was
> > mentioned to be a good idea when I first posted your curses stuff for
> > inclusion in the extras.
> 
> I'd vote (a) for having a function rather than a predicate and 

I think a predicate is likely to be more useful,
since this would commonly be used with DCGs.

> (b) for a name other than `for' so we don't clash with the forthcoming
> sequence quantification facility which has already laid claim to the
> name.

Agreed.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------