I've used C# version 2 I think (no generics), and found it to be the worst of strong and weak typing. You have to cast everything and introspection is difficult. It was not at all well thought out, and shows signs of repeating the sins of the past.

However you must have had the thought “why do I need to cast the object to the correct type? – either the method call works or doesn’t work at run-time”. Apart from making it easier to discover the programmer’s intention the cast does absolutely nothing to protect you from an error at compile time – any problems only become apparent at runtime.

That's a starting point.

The issues they are discovering for dynamic vs. static type in the dispatch is something to be well thought through for Perl 6. It's been done before, all the way back to CLOS in Common Lisp. So learn from that!

The interaction between static typing and dynamic dispatching seems to be under-appreciated in the Perl 6 community. Most people seem to proceed as if it's purely dynamic.

—John