La réponse du genre:« ce que tu veux faire, c'est résoudre le problème de la HALT , or la HALT c'est indécidable t'es qu'un con fini» est complètement à côté de la plaque.
C'est du même genre que les gens qui disent que comme un problème est montré NP-complet, il ne sert à rien d'essayer de le résoudre.
Ce qu'il veux faire, ce n'est certainement pas resoudre le problème de la HALT en général. C'est résoudre le problème de la halt sur une classe la plus grande possible de programmes. Tu sais, moi je sais résoudre la halt pour les fonctions récursives primitives. Fondamentalement, quand un compilateur te sort un avertissement, c'est qu'il pense que tu es en train de faire une connerie.
« attention, t'es pas en train de confondre égalité et affectation dans ton if? »
Je ne sais pas si son approche est possible mais ce n'est à priori pas fondamentalement idiot.
[^] # Re: Je comprend pas...
Posté par fmaz fmaz . En réponse au journal Bayes appliqué au code ?. Évalué à 4.
C'est du même genre que les gens qui disent que comme un problème est montré NP-complet, il ne sert à rien d'essayer de le résoudre.
Ce qu'il veux faire, ce n'est certainement pas resoudre le problème de la HALT en général. C'est résoudre le problème de la halt sur une classe la plus grande possible de programmes. Tu sais, moi je sais résoudre la halt pour les fonctions récursives primitives. Fondamentalement, quand un compilateur te sort un avertissement, c'est qu'il pense que tu es en train de faire une connerie.
« attention, t'es pas en train de confondre égalité et affectation dans ton if? »
Je ne sais pas si son approche est possible mais ce n'est à priori pas fondamentalement idiot.