[m-dev.] for review: tuples [1]

[Michael Day]

> Tuples are useful when you want an anonymous n-vector of
> heterogeneous objects.  The pair type exists because the
> most common such vector is of size two.  Generalizing
> tuples is much more useful.  One can only use lists for
> collections of objects of the same type.  Currently, if
> one needs an n > 2-vector, then one has to define a new,
> named no-tag type.

Thanks for the summary, they seem to fill a very useful niche. As long as
the syntax doesn't make DCGs any more hairy, at least.

Michael


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