[m-dev.] Suggested interface for sequence types in lib-v2

[Fergus Henderson]

On 23-Oct-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> > The name `project_member' doesn't mean much to me.
> > I think `has_member' or perhaps `contains_member' would be a better
> > name.  It would work nicely with infix syntax:
> > 
> > 	List `has_member` Elem
> 
> Hmm.  `{has,contains}_member' both sound rather like tests to me
> rather than predicates that non-deterministically enumerate
> members.

Good point.

> How about `choose_member' or just `choose'?

`choose_member' sounds good.

It might be worth asking about this on comp.lang.prolog.

-- 
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
--------------------------------------------------------------------------