Hi MPS team! Great work on MPS, I really love it.
We are now applying it in a project where we need to process (typecheck) big data sets from command line (Mihail Muhin knows more about this), so we can not load all of the data into an MPS model at once (the memory footprint gets more than 20MiB and then MPS just dies).
Of course it is possible to chop up the data set and start MPS every time a new for each chunk of the data set, but this incurs the MPS startup time for every chunk, which makes the typechecks extremely slow.
So we would like to be able to go through a generation phase and then just restart it again (without needing to restart MPS itself). Is this possible, and if so, how to do it?