Warp wrote:
> Why not? Having the compiler check for breaking of agreements (eg.> "don't> access these variables") is much better than oral agreements. The compiler> is much better at catching mistakes than you are.
It's an underscore or something else clearly visible in the offending
(= private-data-using-) code, not an oral agreement.
