Études-compute/Retirer "noCompVar" ?

From Lazi wiki
Jump to: navigation, search

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