Per #1, why can't it be per module or per routine? Framework-oriented API's we often want "tighter" while domain-centric glue-code can be looser. Per #2, why n

Per #1, why can't it be per module or per routine? Framework-oriented API's we often want "tighter" while domain-centric glue-code can be looser. Per #2, why not a language that facilitates "lint" style inspectors to give a list of warnings, as in "do you really wanna do that?" This reduces the burden of the compiler. Meta-markers can switch certain warnings off so we don't clutter the results for intentional spot looseness.