On Tue, May 17, 2005 at 01:50:48PM +0000, Luke Palmer wrote:
: Hey grep { !/Luke/ } @Larry,
:
: <luqui> multi foo(Foo, Bar: Baz); # manhattan on Foo and Bar
: <luqui> multi foo(Foo: Bar: Baz); # leftmost on Foo and Bar
: <autrijus> wtf?
: <autrijus> multiple colons?
:
: 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.
: Maybe I'm just not looking hard enough...
Maybe we didn't document it hard enough...
But we have at times mentioned various "tiebreaking" situations.
"multi methods" (as opposed to "multi subs") are one instance, where
single dispatch to the class is followed by multiple dispatch within
the class, so it's equivalent to an extra colon. We've also talked
about the possibility of using return type for final tiebreaking.
I suppose one could even install a colon on the end of the return
type to request that explicitly.
Larry
