Re: repeating groups

Marshall Spight wrote:

> ... Lists are essential; sets are
> essential; I am not willing to admire a language that doesn't make
> both of them first class. I am not convinced there is any other
> structure that we need to give such importance to. And lists and
> sets need to interoperate. Hence we have to have the unified
> algebra.
>
> I've been thinking about this problem for a while. A half-assed
> job is remarkably easy. What is remarkably hard is to actually
> do a good job.

Suggested steps:

0. (preliminary): device a unified notation, specifically for

    this purpose

1. Formulate the Spight list algebra :-)
2. Reformulate the relational algebra
3. Merge
4. Pizza!