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

Bắt đầu bằng cách đọc issue bổ trợ được liên kết #164 và issue #100, sau đó truy vết cách actx.compile placeholder hóa các đầu vào của nó. Điều tra xem danh tính của các đối tượng đầu vào và trạng thái phụ thuộc có thể được giữ lại và nhận diện một cách đáng tin cậy để memoization hay không. Được xem là hoàn tất khi có một thiết kế thống nhất cho việc tái sử dụng trạng thái đã được tính toán, nhưng issue này không chỉ định cách triển khai hoặc bài kiểm thử chấp nhận.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.