The reverse: export would not change at all.
-
export would imply public, as well as (via
using) being added to the namespace -
public names would be available without any special syntax via qualification (
<module>.<name>) - any other names require the
<module>..<name>qualification (of course, you can doconst foo = SPJ..footo avoid paying the sin tax more than once in your module
)
The last part is what helps later on, when you are trying to find all the places that might be broken due to changes in internals, and also helps people remember that they are accessing something that might change in the future
(like using functions with the unsafe_ prefix, you know you are treading into deep waters).
That’s why I like the concept of a “sin tax”, it doesn’t prevent you from “sinning”, but you do know that you are breaking one of the (encapsulation) commandments.