Quel est le langage le plus fortement typé ?

Sauf erreur ADA est le plus typé des langages.
On peut y définir des types entiers (par exemple)non directement compatibles (sauf avec des casts).
Johan

Je pense que c'est le JAVA sans contest grâce à sa conception objet... Mais attention, je ne suis un expert dans aucun de ces langages...

ADA est très typé mais sans plus.
C n'est pas une référence du typage (toujours à ma connaissance).
Et Pascal n'a rien de très typé non plus...

Voila, Je dirais JAVA, ADA, puisl'un des deux autres C ou Pascal.

-= Bobinours =-

Je suis du même avis que Bobinours !:) (je ne dirais pas cette phrase dans la vie courante au milieu d'une soirée je pense !:)

JAVA est le langage le + fortement typé parmi les 4 que tu cites....en effet, son système de référence sur les objets font que tu ne peux pas faire n'importe quoi dans l'assignement de tes variables...