This is some alt-timeline stuff, SML was (is) more like Lisp images than I realized. You can check point intermediate states of a compilation into a file and even have states that depend on other states for an n-ary dependency tree of cached IR that can be loaded into an app. https://www.polyml.org/documentation/Reference/PolyMLSaveState.html