Os tipos são para estrangular as linguagens!
Eles retiram o poder dela em favor de estrangular a criatividade para que
os humanos possam achar que erram menos.

Não tem ainda pesquisas que provem que sistema de tipos geram menos erros.
Mas psicológicamente isso ajuda os humanos!

Com tipos ou sem eles linguagens são legais do mesmo modo.
Tipos são legais e ruins ao mesmo tempo dependendo do que você precisa e onde esta trabalhando!