Re: A Logical Model for Lists as Relations

Jay Dee wrote:

> Bob Badour wrote:
> 

> 


>>>  >> What's 'bunch theory' ?


>>>

>>> As for my own: scalars are boolean, numbers, and characters.  Data

>>> may be structured (Here we go down the rabbit hole!) as:

>>>  a bunch (unpackaged and unindexed),

>>>  a set (packaged and unindexed),

>>>  a string (unpackaged and indexed), and

>>>  a list (packaged and indexed).

>>>

>>> More terminology?  Well, bunches and sets consist of elements, which

>>> has the meaning we're familiar with from sets.  Sets are sets; they

>>> are a package of elements constructed with {} operator.  , (comma)

>>> is the set union operator.  Unpackaging a set - interpolating the

>>> contents of a set - yields a bunch, which also has a comma union 

>>> operator.  So

>>>   a, b, c  is a bunch

>>>  {a, b, c} is a set.

> 

> 
> The whole point is that {} and , aren't punctuation; they're
> operators.

That's nice. What do the operators do? Anything? Received on Fri May 12 2006 - 06:08:44 CEST