3 ms·
This is a very clever idea. Even if I don't implement it this way, your suggestion has inspired me to think outside the box. Here's an approach that's a variat
by evanrmurphy 16y ago
This is a very clever idea. Even if I don't implement it this way, your suggestion has inspired me to think outside the box.
Here's an approach that's a variation/refinement of my current one: Instead of just orphaning old clients when their sandboxes get GC'd, leave them with a local copy of their REPL history. If they try to use the REPL again after a long period of silence, a new sandbox will be allocated for them (as it would be for a fresh client), and all the commands in their REPL history loaded in to bring it back to its previous state.
This approach could potentially pave the way for users having persistent REPLs, even across page reloads.