On Wed, Oct 26, 2005 at 06:34:48PM -0700, Larry Wall wrote: : On Wed, Oct 26, 2005 at 04:56:23PM -0600, Luke Palmer wrote: : : > Then ^T $x binds T to the kind of $x. And $x.kind == $y.kind asks : : > if two objects are of the same type, : : : : Don't you mean $x.kind eqv $y.kind? : : : : Ugh. : : Now that infix:<::> has come available, maybe I mean: : : $x.kind :: $y.kind
And maybe eq and == could degenerate to :: if both args aren't coercable to the desired type. Larry
