Pas tout a fait d'accord. En général, quand on code, on le fait (au moins implicitement) d'après une spécification. Quand tu codes un truc tu sais à peu prêt ou tu vas. Si tu te rend compte en cours de codage que ce que tu fais c'est n'importe quoi, même si ton code est correct, il faut jeter.
Si on a un bon langage de spec, de niveau relativement haut disons, qui permet de pondre plus ou moins automatiquement du code, ca permet de se concentrer plus sur la spec elle même, et moins sur le code. Alors certe, tu peux faire des erreurs de spec, mais dans ce cas, au moins, t'as plus à tout recoder. D'autant plus que, t'étant à priori plus concentré sur la spec, t'as moins de chance d'avoir fait une erreur fondamentale.
Une erreur de spec c'est d'autant plus dramatique si tu dois faire du code derrière.
[^] # Re: qques questions sur Lissac et... Ruby, Java, Caml...
Posté par thoasm . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 4.
Si on a un bon langage de spec, de niveau relativement haut disons, qui permet de pondre plus ou moins automatiquement du code, ca permet de se concentrer plus sur la spec elle même, et moins sur le code. Alors certe, tu peux faire des erreurs de spec, mais dans ce cas, au moins, t'as plus à tout recoder. D'autant plus que, t'étant à priori plus concentré sur la spec, t'as moins de chance d'avoir fait une erreur fondamentale.
Une erreur de spec c'est d'autant plus dramatique si tu dois faire du code derrière.
Après, on en est pas encore là ^^