Études-compute/Retirer "noCompVar" ?
Question
Pour l'instant, les variables sont accompagnées d'un flag "no_comp" qui indique si on doit partager le résultat du calcul de l'argument.
Est-ce utile ?
Étude
Le partage de calcul peut amener à garder des expressions plus grandes, voir Études-compute/Problème du listFold grossissant.
Croissance exponentielle ?
Peut-on arriver à une expression grandissant exponentiellement à cause du partage de calcul ?
Le partage se fait sur des expressions sans variables qui ne sont calculées qu'une fois. Il faudrait qu'une expression comme celle de récurrence mais qui double à chaque fois, et donc ça ne viendrait pas du partage de calcul en lui-même.
Réponse
Non