<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>If you mean it would look similar to incremental recomputation:<br></div><div>it is definitely *much* easier to verify the state of the analysis is sane if you do incremental updating instead of caching.</div><div> </div><div>IE trivially, at pretty much any point, you can say "recompute what this *should* look like against the function*, and compare to what you got from incremental recomputation.</div><div><br></div><div>Local caching like this is very hard to verify.</div></div></div></div></blockquote><div><br></div><div>As a recent example of this:</div><div><br></div><div>Literally today, we added support for printing the LVI cache because of bugs discovered.</div><div>We still have no good way to really verify it.</div><div><br></div><div>An incrementally recomputed analysis would have been verifiable from the start.</div></div></div></div>