Re: Set-returning .keys

2006-11-28 Thread Ruud H.G. van Tol
Darren Duncan schreef: TSa: And I still think that it is a good idea to name the set operations after their equivalent boolean connectives: (|) union () intersection (^) symmetric difference Well, and to make them Bag operations to start with. To start off with, I agree with

Re: Set-returning .keys

2006-11-28 Thread Smylers
Ruud H.G. van Tol writes: Darren Duncan schreef: TSa: set operations ... make them Bag operations to start with. I agree with ... making Set the main type and making Bag an extension built upon that, as complex is built upon num, etc. I don't think that will work out.

Re: Set-returning .keys

2006-11-28 Thread Dr.Ruud
Smylers schreef: Ruud H.G. van Tol: Darren Duncan: TSa: set operations ... make them Bag operations to start with. I agree with ... making Set the main type and making Bag an extension built upon that, as complex is built upon num, etc. I don't think that will work out. Modification of a

Re: Set-returning .keys

2006-11-28 Thread Darren Duncan
At 10:54 AM +0100 11/28/06, Ruud H.G. van Tol wrote: To start off with, I agree with your comment about making Set the main type and making Bag an extension built upon that, as complex is built upon num, etc. I don't think that will work out. Modification of a Set is more complex than

Re: Set-returning .keys (was Re: Smart Matching clarification)

2006-11-28 Thread TSa
HaloO, Darren Duncan wrote: This may be a non-issue from a user's viewpoint, but as a user, I want set operations that have sets as input to return sets as output by default. Eg, unioning 2 Set that have common values should return a Set. First of all the operations could be overloaded.

beg for Bag

2006-11-28 Thread TSa
HaloO, as a spin-off of the 'Set-returning .keys (was Re: Smart Matching clarification)' thread I want to propose the addition of a Bag type that completes the set of immutable types. It shall have the following properties. 1) It is a multiset generalization of Set 2) It is a supertype of Set

Re: beg for Bag

2006-11-28 Thread Smylers
TSa writes: I want to propose the addition of a Bag type Different from the CBag that's already mentioned in Synopsis 3? Smylers

Re: beg for Bag

2006-11-28 Thread Darren Duncan
At 7:08 PM + 11/28/06, Smylers wrote: TSa writes: I want to propose the addition of a Bag type Different from the CBag that's already mentioned in Synopsis 3? Smylers TSa wasn't the first person to ask for an explicit Bag type. I did too, a few weeks ago. And one reason for that was

[svn:perl6-synopsis] r13483 - doc/trunk/design/syn

2006-11-28 Thread larry
Author: larry Date: Tue Nov 28 17:27:59 2006 New Revision: 13483 Modified: doc/trunk/design/syn/S06.pod Log: Distinguished Set and Bag values from KeySet and KeyBag containers. Modified: doc/trunk/design/syn/S06.pod

Re: beg for Bag

2006-11-28 Thread Jonathan Lang
TSa wrote: 1) It is a multiset generalization of Set 2) It is a supertype of Set and Seq (a Set can of course be build from a Seq). That is 'Set does Bag' and 'Seq does Bag'. Note that a Seq is a ready-made Bag and if it happens to have no duplicates it behaves like a Set. 3) It has

[svn:perl6-synopsis] r13484 - doc/trunk/design/syn

2006-11-28 Thread larry
Author: larry Date: Tue Nov 28 19:22:48 2006 New Revision: 13484 Modified: doc/trunk/design/syn/S06.pod Log: typo Modified: doc/trunk/design/syn/S06.pod == --- doc/trunk/design/syn/S06.pod(original) +++

Re: [svn:perl6-synopsis] r13483 - doc/trunk/design/syn

2006-11-28 Thread Darren Duncan
At 5:28 PM -0800 11/28/06, [EMAIL PROTECTED] wrote: Author: larry Date: Tue Nov 28 17:27:59 2006 New Revision: 13483 Modified: doc/trunk/design/syn/S06.pod Log: Distinguished Set and Bag values from KeySet and KeyBag containers. snip Ah, thank you. A nice clean-looking solution which