Tiens, je ne sais pas comment font les IDE modernes pour détecter les erreurs de type, mais ça veut dire être capable de parser un langage et faire une passe d'inférence de type, ce qui plonge quand même assez profondément dans la première passe d'un compilateur. Je serais étonné qu'un IDE s'amuse à réimplémenter tout ça pour les langages qu'il supporte vu la quantité de boulot que ça représente, quand on peut demander au compilateur de s'en occuper pour pas cher (puisqu'on s'arrête juste après la reconnaissance, pas besoin de déclencher réellement une compilation et encore moins d'optimiser le code).

Mais bon c'est un détail, j'ai l'impression qu'on est d'accord sur le fond