6 ms·
Your example inaccurately describes what would happen with GP's approach. Planning stage would generate `Delete(Server{CreatedBefore: 1621887357}))`. It would
by cmeacham98 5y ago
Your example inaccurately describes what would happen with GP's approach.
Planning stage would generate `Delete(Server{CreatedBefore: 1621887357}))`.
It would output something like "Deleting servers created before $time$, currently $servers$."
The point is the planning stage would encode the operation being done, not a list of servers to delete.
- Smaug123 5y agoOhh, sorry - I got the wrong end of the stick entirely. Yes, in that case I'm satisfied!