cronokirby

Some Principles of Programming Language Design

Tooling

The compiler should, in and of itself, provide all the diagnostics you would want.

The diagnostics should be usable in any case, with no need to disable any of them.