Faré wrote:
Unhappily, strict mode is a global flag: the question is "which readtable is this system going to be read with?". The only reasonable answer is: the readtable it was meant to be read with, which the author knows, and should be the standard readtable by default, unless explicitly overridden by the author. The backward-compatible (if it's not backward, it's not compatible) is "whichever readtable was active at the time", with sometimes comical consequences, especially when the user was using a non-standard one at the REPL.
I don't see that.
If you know you aren't going to want to bleed readtable entries out of your library, and you don't want stuff creeping in, it seems to me eminently possible to mark your system as strict-mode wrt the readtable.
Why is that impossible?