TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote:

just to deepen your understanding of co- and contravariance
you should digest <http://www.pps.jussieu.fr/~gc/papers/toplas95.pdf>
The important point to get from it is that dispatch-relevant
parameters are also covariant.

Regards, TSa.
Thanks for the link.

I did mention that the invocant was an exception, since it is already known to be the correct type.

Reply via email to