TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote:
HaloO,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.
