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 Now all we need is infix:<:> to calculate the value of the relationship of two items, and we can write: $a : $b :: $c : $d :-) * .5 Larry