I understand, but, except in those few cases that require hot reloading into a running program, it's conceptually much more straightforward and less risky to si

I understand, but, except in those few cases that require hot reloading into a running program, it's conceptually much more straightforward and less risky to simply restart the computation. It can cause a beginner considerable (a|be)musement, when a change to an imported module isn't reflected in the output as expected. From the docs: "In many cases extension modules are not designed to be initialized more than once, and may fail in arbitrary ways when reloaded." and "If a module instantiates instances of a class, reloading the module that defines the class does not affect the method definitions of the instances — they continue to use the old class definition. The same is true for derived classes."