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
