**lltp:** _@Jehan, could you elaborate a little bit on how ML-type module management would help for scientific computing because I am still not sure that I have grasped everything._
The problem that local imports solve is to provide a midpoint between the extremes of putting identifiers in the global namespace and qualifying every single use of an imported identifier. This can matter in scientific computing because you frequently have overloaded operators and functions, while automatic overloading rules can be insufficient when it comes to resolving which one to use. At the same time, you don't want to qualify every single operator in a complex expression with a module name.