Re: Multiple colons

2005-05-18 Thread TSa (Thomas Sandlaß)
Autrijus Tang wrote: I think the former is simpler (always use coercion), but the latter makes it possible to define various other things that, although not isomorphic with builtin numbers, can still use arithmetic operators. I haven't understood what Larry meant with hard constraint but I would

Re: Multiple colons

2005-05-17 Thread Larry Wall
On Tue, May 17, 2005 at 01:50:48PM +, Luke Palmer wrote: : Hey grep { !/Luke/ } @Larry, : : luquimulti foo(Foo, Bar: Baz); # manhattan on Foo and Bar : luquimulti foo(Foo: Bar: Baz); # leftmost on Foo and Bar : autrijus wtf? : autrijus multiple colons? : : Is that

Re: Multiple colons

2005-05-17 Thread Autrijus Tang
On Tue, May 17, 2005 at 07:00:23AM -0700, Larry Wall wrote: On Tue, May 17, 2005 at 01:50:48PM +, Luke Palmer wrote: : Is that still the case? I don't recall us getting rid of it, but it : doesn't seem to be documented in the AES. We didn't get rid of it. So does it mean that a 3-story

Re: Multiple colons

2005-05-17 Thread Larry Wall
On Tue, May 17, 2005 at 10:10:22PM +0800, Autrijus Tang wrote: : On Tue, May 17, 2005 at 07:00:23AM -0700, Larry Wall wrote: : On Tue, May 17, 2005 at 01:50:48PM +, Luke Palmer wrote: : : Is that still the case? I don't recall us getting rid of it, but it : : doesn't seem to be documented

Re: Multiple colons

2005-05-17 Thread Luke Palmer
On 5/17/05, Larry Wall [EMAIL PROTECTED] wrote: On Tue, May 17, 2005 at 10:10:22PM +0800, Autrijus Tang wrote: : Is the final level ($z and $w) participating in the MMD at all : as tiebreakers? Luke mentioned that in all levels but the final : one, Manhattan distance (sum of inheritance

Re: Multiple colons

2005-05-17 Thread TSa (Thomas Sandlaß)
Autrijus Tang wrote: So does it mean that a 3-story multisub with two colons will always win against one with one colon? multi sub foo (Any $x: Str $y: Str $z, Str $w) { 1 } multi sub foo (Str $x, Str $y: Str $z, Str $w) { 2 } say foo(x, y, z, w); # 1 Is the final level ($z and $w)

Re: Multiple colons

2005-05-17 Thread Autrijus Tang
On Tue, May 17, 2005 at 07:26:54AM -0700, Larry Wall wrote: It does seem that the signature that provides more information should be rewarded for that somehow. Maybe it's most useful if non-invocant args (or non-invocant-YET args, in this case) are just considered to be at Any distance when

Re: Multiple colons

2005-05-17 Thread Autrijus Tang
On Tue, May 17, 2005 at 02:45:58PM +, Luke Palmer wrote: Just for the folks not following along on IRC, I don't think I implied that. But Autrijus apparently inferred it :-). My apologies. It's a misparse on my part. Anyway, there is no MMD whatsoever on the final level, so that:

Re: Multiple colons

2005-05-17 Thread Larry Wall
On Wed, May 18, 2005 at 04:02:16AM +0800, Autrijus Tang wrote: : Hmm. How does this play with Larry's suggestion: : : I suppose one could even install a colon on the end of the return : type to request that explicitly. : : Does it mean that: : : multi sub foo(Foo: Bar: Baz:)