How should lazy `actx.compile` interact with memoization (on the input end)?

This is a longer-shot companion issue to https://github.com/inducer/pytato/issues/164 (and #100):

Suppose an `actx.compile`d function is passed an array container (for the sake of argument, imagine a mirgecom `ConservedVars`) that somehow holds on to already-computed, dependent state that is the subsequently used in the `compile`d function. Right now, any such association is destroyed when "placeholderizing" the inputs. It'd be nice to instead realize that something we're about to (re)compute has already been computed and just use it instead.

A few (substantial) challenges:
- Unless we retain the object identity of the data passed in as a placeholder, we have no way of finding the existing state.
- Even if we can find it, we can't really reliably generate an identifier for it.

cc @kaushikcfd @mtcam

Commencez par lire l’issue complémentaire liée #164 et l’issue #100, puis suivez la manière dont actx.compile remplace ses entrées par des placeholders. Déterminez si l’identité des objets d’entrée et l’état dépendant peuvent être conservés et identifiés de manière fiable pour la mémoïsation. La tâche serait terminée lorsqu’une conception arrêtée pour réutiliser l’état déjà calculé sera disponible, mais cette issue ne spécifie ni implémentation ni test d’acceptation.

Rédigé par le modèle d'indexation à partir du texte de l'issue.