C'est étonnant cette façon de dire "faire ca, c'est exponentiel, donc c'est pas possible" (je schematise bien sur). Si c'est exponentiel, c'est juste que c'est inefficace, mais dans la mesure ou verifier le code sera a faire une fois pour toute pour un code reutilisable a l'infini, ce n'est pas totalement redhibitoire.
Apres, si tu veux aller plus loin, tu vas t'apercevoir que savoir si un programme fait bien ce que tu veux est indécidable, et là, ça devient vraiment embetant, mais encore une fois, il y a des gens que ca ne gene pas (les editeurs d'antivirus par exemple)
# exponentiel => indecidable
Posté par 태 (site web personnel) . En réponse au journal couverture de code. Évalué à 3.
Apres, si tu veux aller plus loin, tu vas t'apercevoir que savoir si un programme fait bien ce que tu veux est indécidable, et là, ça devient vraiment embetant, mais encore une fois, il y a des gens que ca ne gene pas (les editeurs d'antivirus par exemple)