On Tue, Oct 25, 2005 at 11:44:35PM +0200, Juerd wrote:
: Larry Wall skribis 2005-10-25 14:35 (-0700):
: > On Thu, Oct 20, 2005 at 11:18:14AM -0600, Eric wrote:
: > : Actualy i think ^ might be my favorite so far.
: > : sub sametype (^T $x, ^T $y) {...}
: > I thought that, too, until I realized it wouldn't work as an rvalue:
: > ^T.count # 1's complement of number of T instances
:
: Ehm, isn't that +^, ~^ (and ?^, perhaps) nowadays?
Er. It's, um, uh...a generic 1's complement operator! Yeah, that's
the ticket...
But leaving aside my tendencies toward senility, ^T would still have
to be a placeholder variable. And it might conflict with infix ^
if we ever allow xor'ed types, since declarations contain lots of
things that look like juxtaposed terms.
Larry
