Ceux qui codent en C/C++, Objective-C, Java, Pascal ou Ada mettent en avant le typage fort.
On va surtout mettre en avant le typage statique. Les termes typage "fort" et "faible" sont loins d'être clairement définis anyway. Un type-checking strict ne doit pas rendre le code illisible. Par exemple, on pourrait aujourd'hui écrire un typesystem qui empêche d'accéder à des cases hors des limites d'un tableau mais toutes les solutions rendent le code illisible pour le moment. Donc typesafety, oui, mais dans les limites du raisonnable.
Même en n’étant pas forcément complètement d’accord, je dois reconnaître que le risque de bugs diminue quand une variable doit être déclarée avant d’être utilisée, et qu’elle ne peut contenir que des données d’un type défini.
Le typesystem t'apporte une preuve "for all" quand un test t'apporte une preuve "for one". Dijkstra a dit : "Program testing can be used to show the presence of bugs, but never to show their absence." Le risque de bug diminue effectivement. D'autant qu'un