Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-29 Thread TSa
HaloO Larry, you wrote: : >we need only provide an alternate comparison to : >the constructor, and the set itself needn't remember it. On the : >other hand, hashes behaving like mutable sets need to remember their : >comparison operator if it is not the default. : : The slot accessor paradigma

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-12 Thread Larry Wall
On Fri, Aug 12, 2005 at 04:30:09PM +0200, TSa wrote: : HaloO, : : Larry Wall wrote: : >[..] but since sets are : >immutable values, : : Does that imply they travel in $vars and are a subtype : of Value? I believe so. : Is Undef of Set the Set::Empty? I don't think so. The empty set should pro

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-12 Thread TSa
HaloO, Larry Wall wrote: [..] but since sets are immutable values, Does that imply they travel in $vars and are a subtype of Value? Is Undef of Set the Set::Empty? Is Set::Empty false? we need only provide an alternate comparison to the constructor, and the set itself needn't remember it. O

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-11 Thread Larry Wall
On Thu, Aug 11, 2005 at 08:25:23PM -0700, Mark A. Biggar wrote: : Mark A. Biggar wrote: : >Small issue, what comparison operator do you use to determine : >duplicates? For example (possibly pathological case): : > : >(undef but true) (+) (undef but false) : : Actually, I'm going to make a stab a

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-11 Thread Mark A. Biggar
Mark A. Biggar wrote: Luke Palmer wrote: On 8/10/05, Dave Rolsky <[EMAIL PROTECTED]> wrote: [changing the subject line for the benefit of the summarizer ...] On Wed, 10 Aug 2005, Larry Wall wrote: And now some people will begin to wonder how ugly set values will look. We should also tell

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-11 Thread Mark A. Biggar
Luke Palmer wrote: On 8/10/05, Dave Rolsky <[EMAIL PROTECTED]> wrote: [changing the subject line for the benefit of the summarizer ...] On Wed, 10 Aug 2005, Larry Wall wrote: And now some people will begin to wonder how ugly set values will look. We should also tell them that lists (and pos

Re: Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-11 Thread Luke Palmer
On 8/10/05, Dave Rolsky <[EMAIL PROTECTED]> wrote: > [changing the subject line for the benefit of the summarizer ...] > > On Wed, 10 Aug 2005, Larry Wall wrote: > > > And now some people will begin to wonder how ugly set values will look. > > We should also tell them that lists (and possibly any

Re: "set" questions -- Re: $object.meta.isa(?) redux

2005-08-11 Thread Luke Palmer
On 8/10/05, Flavio S. Glock <[EMAIL PROTECTED]> wrote: > I wonder if infinite sets (recurrences) will be supported - then I'll > move all(ext/Recurrence, ext/Span, ext/Set-Infinite) to > Perl6::Container::Set::Ordered - cool. Note "there is now a Set role". Emphasis on role. There will be a fin

Re: $object.meta.isa(?) redux

2005-08-11 Thread Luke Palmer
On 8/10/05, Sam Vilain <[EMAIL PROTECTED]> wrote: > On Wed, 2005-08-10 at 21:00 -0400, Joe Gottman wrote: > >Will there be an operator for symmetric difference? I nominate (^). > > That makes sense, although bear in mind that the existing Set module for > Perl 6, and the Set::Scalar and Set::

RE: $object.meta.isa(?) redux

2005-08-10 Thread Sam Vilain
On Wed, 2005-08-10 at 21:00 -0400, Joe Gottman wrote: >Will there be an operator for symmetric difference? I nominate (^). That makes sense, although bear in mind that the existing Set module for Perl 6, and the Set::Scalar and Set::Object modules for Perl 5 use % for this (largely due to ove

RE: $object.meta.isa(?) redux

2005-08-10 Thread Joe Gottman
> -Original Message- > From: Luke Palmer [mailto:[EMAIL PROTECTED] > Sent: Wednesday, August 10, 2005 11:53 AM > To: TSa > Cc: Perl6 Language List > Subject: Re: $object.meta.isa(?) redux > > > A new development in perl 6 land that will make some folks very h

Re: "set" questions -- Re: $object.meta.isa(?) redux

2005-08-10 Thread Flavio S. Glock
I wonder if infinite sets (recurrences) will be supported - then I'll move all(ext/Recurrence, ext/Span, ext/Set-Infinite) to Perl6::Container::Set::Ordered - cool. - Flavio S. Glock 2005/8/10, Dave Whipp <[EMAIL PROTECTED]>: > Luke Palmer wrote: > > > A new development in perl 6 land that will

Set operators in Perl 6 [was Re: $object.meta.isa(?) redux]

2005-08-10 Thread Dave Rolsky
[changing the subject line for the benefit of the summarizer ...] On Wed, 10 Aug 2005, Larry Wall wrote: And now some people will begin to wonder how ugly set values will look. We should also tell them that lists (and possibly any-junctions) promote to sets in set context, so that the usual way

Re: $object.meta.isa(?) redux

2005-08-10 Thread Dave Rolsky
On Wed, 10 Aug 2005, Luke Palmer wrote: A new development in perl 6 land that will make some folks very happy. There is now a Set role. Among its operations are (including parentheses): (+) Union (*) Intersection (-) Difference (<=) Subset (<) Proper subset (>=) Sup

Re: $object.meta.isa(?) redux

2005-08-10 Thread Larry Wall
On Tue, Aug 09, 2005 at 10:55:05PM -0400, Stevan Little wrote: : >So why not just use "describes"? Then maybe Object.isa(Foo) delegates : >to $obj.meta.describes(Foo). : : I like that, but is it appropriate for subclasses as well? Well, I suppose we could hedge it as part of a collaboration:

Re: "set" questions -- Re: $object.meta.isa(?) redux

2005-08-10 Thread Larry Wall
On Wed, Aug 10, 2005 at 11:24:02AM -0700, Dave Whipp wrote: : Do Sets get a sigil? Probably not. unicode : I'd guess that % would be appropriate, because a : hash is simply "Set of Pair" where the membership equivalence class is : simply $^member.key. What syntax is used to associate the equiv

"set" questions -- Re: $object.meta.isa(?) redux

2005-08-10 Thread Dave Whipp
Luke Palmer wrote: A new development in perl 6 land that will make some folks very happy. There is now a Set role. Among its operations are (including parentheses): (+) Union (*) Intersection (-) Difference (<=) Subset (<) Proper subset (>=) Superset (>)

Re: $object.meta.isa(?) redux

2005-08-10 Thread Larry Wall
On Wed, Aug 10, 2005 at 03:53:00PM +, Luke Palmer wrote: : A new development in perl 6 land that will make some folks very happy. : There is now a Set role. Among its operations are (including : parentheses): : : (+) Union : (*) Intersection : (-) Difference : (<=) Sub

Re: $object.meta.isa(?) redux

2005-08-10 Thread Luke Palmer
On 8/10/05, TSa <[EMAIL PROTECTED]> wrote: > HaloO, > > Luke Palmer wrote: > > On 8/9/05, Larry Wall <[EMAIL PROTECTED]> wrote: > > > >>So why not just use "describes"? Then maybe Object.isa(Foo) delegates > >>to $obj.meta.describes(Foo). > > > > > > Hmm. We have a similar problem with the new c

Re: $object.meta.isa(?) redux

2005-08-10 Thread TSa
HaloO, Luke Palmer wrote: On 8/9/05, Larry Wall <[EMAIL PROTECTED]> wrote: So why not just use "describes"? Then maybe Object.isa(Foo) delegates to $obj.meta.describes(Foo). Hmm. We have a similar problem with the new class-set notation. These two things: Did I miss something? What is

Re: $object.meta.isa(?) redux

2005-08-10 Thread Luke Palmer
On 8/9/05, Larry Wall <[EMAIL PROTECTED]> wrote: > So why not just use "describes"? Then maybe Object.isa(Foo) delegates > to $obj.meta.describes(Foo). Hmm. We have a similar problem with the new class-set notation. These two things: $a.does(Foo); Bar.does(Foo); Mean two different thi

Re: $object.meta.isa(?) redux

2005-08-09 Thread Stevan Little
Larry, On Aug 9, 2005, at 6:18 PM, Larry Wall wrote: : Personally I am not a fan of the 'is_a' name, I just did it one day, : and it sort of stuck. Well, hey, I'm not a fan of the "isa" name, so I guess we're even. fair enough :) : But I do think we need to find a way to : differentiate bet

Re: $object.meta.isa(?) redux

2005-08-09 Thread Larry Wall
On Tue, Aug 09, 2005 at 05:08:43PM -0400, Stevan Little wrote: : Howdy, : : I wanted to make sure this question had a chance to get addressed, so I : am seperating it from the other thread which has digressed into the : depths of the metamodel (much to my delight too). : : So..., as described i