Sobre tipos e ocorrências de erros, coloquei esse texto no TabNews:
NaN = ON ERROR RESUME NEXT
Considerar um valor não numérico (NaN) como numérico é roubada.

Fora tipagem forte/fraca estática/dinâmica acho que a unidade é outro fator que deveria ser levado em conta ou discutido (não li o trabalho do Luca). Não se soma 20ºC com 25Kg. Algumas linguagens implementam a unidade. Assim, não é possível efetuar US$20 + R$30, por exemplo. A própria NASA já perdeu equipamento por uma equipe trabalhar com sistema métrico e outra com o imperial.