Até concordo contigo. Mas eu penso que as línguagens de tipagem forte possuem esse tipo de funcionamento por serem mais antigas (claro, existem outros casos de linguagens modernas estáticas como Rust, Go ou C#). É possível perceber que praticamente todas as linguagens de tipagem estática são compiladas, ao contrário das flexíveis, que, geralmente são interpretadas

Eu acho que tipagem estática realmente é mais seguro. Mas o conceito de segurança, principalmente nesse contexto tão abstrato, é muito complicado de definir. Muitos softwares escritos em C são milhares ou até milhões de vezes mais seguro (e até algumas vezes mais rápido) que um escrito em Python, por exemplo.