Whoops, quoted but forgot to answer first question... On Wed, May 23, 2007 at 04:33:23PM -0700, Jonathan Lang wrote: : Perl 6 includes a system of B<sigils> to mark the fundamental : structural type of a variable: : : $ scalar (object) : @ ordered array : % unordered hash (associative array) : & code/rule/token/regex : :: package/module/class/role/subset/enum/type/grammar : @@ multislice view of @ : : C<$x> may be bound to any object, including any object that can be : bound to any other sigil. : : C<@x> may be ... bound to any object that does the C<Positional> role : : C<%x> may be bound to any object that does the C<Associative> role : : C<&x> may be bound to any object that does the C<Callable> role : : C<::x> may be bound to any object that does the C<Abstract> role : : -- : : IIRC, could the above section about C<$x> be considered equivalent to : saying that C<$x> may be bound to any object that does the C<Object> : role?
Yes, provided we consider Junction and Any to both be subtypes of Object. Larry
