Au mieux un programme est typé, plus il a de chance d'être correct, en C comme dans les autres langages.
L'argument du « quand je fais de la merde le compilateur me demande de mettre des casts partout et après, à l’exécution, le programme fait de la merde » est douteux. Le système de type est un outil du développeur, si le compilateur voit un problème de type, c'est qu'il y a un problème de type (la réciproque n'est pas vraie malheureusement, la faute à un système trop laxiste).
[^] # Re: ==
Posté par Zylabon . En réponse au journal OSv : l'OS pour les nuages. Évalué à 2.
Au mieux un programme est typé, plus il a de chance d'être correct, en C comme dans les autres langages.
L'argument du « quand je fais de la merde le compilateur me demande de mettre des casts partout et après, à l’exécution, le programme fait de la merde » est douteux. Le système de type est un outil du développeur, si le compilateur voit un problème de type, c'est qu'il y a un problème de type (la réciproque n'est pas vraie malheureusement, la faute à un système trop laxiste).
Please do not feed the trolls