TSa (Thomas Sandlaß) wrote:
Unique least-inherited most-specialized match, or default
Do I read this correctly as dispatching partly in the class hierarchy
and partly in the type hierarchy?
Err. The class hierarchy *is* the type hierarchy in Perl 6.
Or do you mean with 'least-inherited'
most specific non-where type and with 'most-specialized' the strictest
where clause?
I mean: least cumulative derivation distance summed over the set of parameter
types, with greatest *number* of parameter specializations as a tie-breaker
(if required).
Damian
