Hmm, interessante. Aliás mano, eu não entrei muito a fundo sobre tipagem fraca e tipagem forte. Se uma linguagem com tipagem forte é mais confiável tanto em questão de segurança quanto em questão de ser menos propícia a erros, porque então criar uma linguagem com tipagem fraca como o JavaScript? Pela flexibilidade?
Respondendo a "Acredito que o PyScript tem um potêncial enorme..." dentro da publicação Python no Front End
3
2
Resposta rápida
Imagino que linguagens super dinâmicas existem pela flexibilidade e agilidade de conseguir chegar em resultados rápidos iniciais. Você pode "entortar" ela do jeito que quiser.
Resposta longa
Rafa, esse é um assunto com uma discussão infinita e eu acho que ninguém até hoje conseguiu comprovar de verdade que a segurança final de um software é maior ao se utilizar linguagem com tipagem forte. Se eu não me engano, esbarrei no passado com uma tentativa científica de analisar em massa repositórios open source a procura dessa resposta, e a conclusão foi que tanto faz.
Mas eu sinceramente duvido e se for para chutar, eu chuto que linguagens de tipagem forte produzem softwares mais seguros, ainda mais com o aumento de escala do software, com o tradeoff de que, se mal arquitetado, você vai ficar mais na luta de fazer os tipos se entenderem do que entregar features. Eu já passei por isso no passado quando trabalhei numa corretora que usava C#.
1
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.