Re: ==

Je ne vois pas bien la différence entre « Au mieux un programme est typé, plus il a de chance d'être correct, en C comme dans les autres langages » et « 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 ».

L'idée c'est que le typage c'est un ensemble de validation que le compilateur fait (c'est particulièrement visible lorsqu'on utilise un langage qui a de l'inférence de type). Dans le système de type le cast est une façon de dire au compilateur « nan mais t'inquiète, je sais ce que je fais ne t'inquiète pas c'est moi qui gère » et ça désactive le système de type pour une action donnée.

Si le typage est assez sophistiqué pour exprimer ce que tu fait, tu peut faire des programme plus sûr car mieux validé par le compilateur. Alors que les typages plus faibles ou plus basiques donnent plus de travail aux développeurs pour s'assurer de ce qu'ils font et/ou ne pas avoir à dupliquer du code.

Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)