Xiao Yafeng wrote:
> 1. Could I set multi-return type?like
> sub test as (Int, Str) {...}
"as" is coercion - so to what would it coerce? Int or Str? How could the
compiler know? Or do you mean something like a tuple?
> 2. set is unordered collection of values， subset is new type. People are
> apt to confuse the two concepts.
Note that people never write "subset" in their code, the write things like
sub f($x where { ... } ) and the "where" constructs the subset type. I
don' think that's
> 3. Could I define primary key for a bag variable?
All items in a Bag are "primary keys", but there's no data additional
data associated with it.
Cheers,
Moritz
