Typen er ikke dynamisk, på samme facon som i f.eks. javascript og PHP. Den bliver bare først evalueret ved runtime, hvilket er en klar fordel for f.eks. COM interop. Ydermere kan det bruges til ducktyping, altså hvor du ikke vil specificere *hvilke* typer du vil acceptere, men hvilke egenskaber og metoder de skal understøtte (Dette kan gøres renere, ved definitionen af et interface, men det er (endnu) ikke understøttet).
Det er hverken en bommert, eller noget de har været unødvendigt længe om. Infrastrukturen til det skal sgu være iorden, og at lave noget der virker dynamisk i et statisk sprog er ikke det nemmeste i verden (De bruger DLR til mange af de tunge løft, som jo så også skulle være nogenlunde stable).

Men vi bør heller ikke glemme covariance og contravariance. Long overdue.