ty: революция в тайп-чекинге

Во-первых в документации указано что планируется strict mode.
Во-вторых может наоборот, пригодным? Кажется абсолютно логичным, к примеру, что нельзя запрещать ложить в массив объекты разного типа если мы не указали какие типы могут находиться в этом массиве. Это же Python :/