Sur le debuggage : on déplace le problème. Dans l'idéal, j'entend un système réellement utilisable, le code généré est forcément conforme à la spec : si erreur il y a, elle n'est plus à chercher dans le code, mais dans la spec. Il n'y a donc pas à toucher au code généré directement. Multiplier la taille des spec par 10, est-ce un problème si on supprime l'étape codage ?
Dans ce cas, le boulot du codeur serait toujours de remplir les blancs, donc de partir d'une spec vague et en faire une spec complète et correcte, sans avoir à se préoccuper du code.
Après, sur les perfs, c'est un autre problème, sur la faisabilité aussi, les problèmes à résoudre étant souvant indécidables ... Ce que je dis est plus de l'ordre d'un fantasle idéaliste, d'autant plus que je suis pas spécialiste du domaine.
[^] # 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é à 2.
Dans ce cas, le boulot du codeur serait toujours de remplir les blancs, donc de partir d'une spec vague et en faire une spec complète et correcte, sans avoir à se préoccuper du code.
Après, sur les perfs, c'est un autre problème, sur la faisabilité aussi, les problèmes à résoudre étant souvant indécidables ... Ce que je dis est plus de l'ordre d'un fantasle idéaliste, d'autant plus que je suis pas spécialiste du domaine.