Re: Numeric Semantics

2007-01-16 Thread TSa
HaloO, Smylers wrote: That depends on exactly what you mean by "we" and "need". Well, with "we" I meant the Perl 6 language list and "need" is driven by the observation that we can't agree on a single definition, so picking your personal favorite should be possible. By all means have them a

Re: Numeric Semantics

2007-01-16 Thread Jonathan Lang
TSa wrote: My list was sorted in decreasing order of importance with the F-definition beating the E-definition in popularity. So all I want is use Math::DivMod:euclid; to get the E-definition and a use Math::DivMod; to get them all. The F-definition being the default when no import is

Re: Numeric Semantics

2007-01-16 Thread TSa
HaloO, Jonathan Lang wrote: Agreed. My only doubt at this point is which definition should be the default. Do we go with "mathematically elegant" (E) or "industry standard" (F, I think)? I think industry (language) standard is undefined behavior ;) I'm kind of waiting for an answer what fea

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

2007-01-16 Thread larry
Author: larry Date: Tue Jan 16 11:09:42 2007 New Revision: 13523 Modified: doc/trunk/design/syn/S05.pod Log: Tweak | to provide longest-token instead of short-circuit semantics. Now use || for old short-circuit semantics! Modified: doc/trunk/design/syn/S05.pod ===

Major bullet biting on | vs || within regex

2007-01-16 Thread Larry Wall
Note, in case you don't read synopsis checkins: the previous checkin majorly changes the semantics of | within regex to support required longest-token matching semantics rather than left-to-right matching. This is nearly on the same philosophical level as requiring the tail-recursion optimization.

The S13 "is commutative" trait

2007-01-16 Thread Dave Whipp
Synopsys 13 mentions an "is commutative" trait in its discussion of operator overloading syntax: > Binary operators may be declared as commutative: > >multi sub infix:<+> (Us $us, Them $them) is commutative { >myadd($us,$them) } A few questions: Is this restricted to only binary op

Re: Major bullet biting on | vs || within regex

2007-01-16 Thread Patrick R. Michaud
On Tue, Jan 16, 2007 at 10:41:03AM -0800, Larry Wall wrote: > Note, in case you don't read synopsis checkins: the previous checkin > majorly changes the semantics of | within regex to support required > longest-token matching semantics rather than left-to-right matching. > This is nearly on the sam

Re: Major bullet biting on | vs || within regex

2007-01-16 Thread Larry Wall
On Tue, Jan 16, 2007 at 02:05:44PM -0600, Patrick R. Michaud wrote: : On Tue, Jan 16, 2007 at 10:41:03AM -0800, Larry Wall wrote: : > Note, in case you don't read synopsis checkins: the previous checkin : > majorly changes the semantics of | within regex to support required : > longest-token matchi

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

2007-01-16 Thread larry
Author: larry Date: Tue Jan 16 13:27:58 2007 New Revision: 13524 Modified: doc/trunk/design/syn/S05.pod Log: As suggested by pmichaud++, also split C<&> into C<&> and C<&&>, with only the latter guaranteeing order. Modified: doc/trunk/design/syn/S05.pod ==

Re: The S13 "is commutative" trait

2007-01-16 Thread Luke Palmer
On 1/16/07, Dave Whipp <[EMAIL PROTECTED]> wrote: Synopsys 13 mentions an "is commutative" trait in its discussion of operator overloading syntax: > Binary operators may be declared as commutative: > >multi sub infix:<+> (Us $us, Them $them) is commutative { >myadd($us,$them) }

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

2007-01-16 Thread larry
Author: larry Date: Tue Jan 16 13:42:34 2007 New Revision: 13525 Modified: doc/trunk/design/syn/S05.pod Log: Clarification of relationship of hash keys to constant prefix processing. Modified: doc/trunk/design/syn/S05.pod ==

Re: The S13 "is commutative" trait

2007-01-16 Thread Jonathan Lang
Luke Palmer wrote: Seems reasonable. My generality alarm goes off when I realize that you can't specify commutativity for two of the three args, but that's fine because it's definitely a cpanable feature. IIRC, it's possible to embed one signature within another one; if the embedded signature