Quais as linguagens de programações do tipo tipada

Já as linguagens não-tipadas não possuem essa obrigatoriedade, e consequentemente um tipo geral que recebe qualquer tipo.

Ao mesmo tempo que a primeira garante um pouco mais de segurança no que se refere ao trânsito de dados entre variáveis, a segunda aceitaria qualquer tipo em qualquer variável, oque diminui a necessidade de ter que transformar dados de um tipo para outro quando trabalhar copm banco de dados por exemplo.