uelle est la différence ? Quand tu as l'erreur "au moment de coder", à moins que ce soit une IDE qui refasse tout le boulot (auquel cas ton langage n'est sûr qu'à condition d'utiliser l'IDE kivabien)

Je parle bien de ça ; on est d'accord, ça demande d'utiliser un IDE correct et les asserts sont un pis-aller (un peu moins quand l'IDE s'en sert pour aider l'inférence de type).

C'est sûr que ça demande d'utiliser un IDE correct, mais bon, c'est un peu vrai quelque soit le langage J'imagine (sans avoir vérifié, j'avoue) que les IDE bien fichus évitent la compilation en arrière-plan pour détecter les erreurs de type, n'est-ce pas le cas ?

Dans tous les cas ce qui est important c'est qu'un maximum d'erreurs soit détecté avant de commencer à exécuter le programme

Ça, on est d'accord, mais je serais volontiers encore moins indulgent que toi : Je trouve que les erreurs devraient être montrées à partir du moment où elles peuvent être détectées, donc directement dans l'IDE pour les erreurs de type.