Les langages modernes qui proposent de l'inférence de type proposent souvent aussi des mécanismes pour spécifier explicitement le type, par exemple dans le cas d'expressions complexes ou si le type ne peut pas être deviné par le lecteur. Par exemple en Scala :val a = 3; // Pas besoin de spécifier le type, il est évident val b = machin(); // Type non spécifié, mais impossible de le deviner sans aller voir la définition de "machin" val c : Double = machin(); // Type spécifié explicitement pour faciliter la lectureJe trouve que c'est un bon compromis pour éviter de devoir mettre des types partout quand on voit des constantes numériques ou des chaines de caractère faciles à reconnaître, tout en laissant la possibilité de montrer (et vérifier) les types dans des cas plus complexes.