Of tools, tradeoffs and heuristics

Good programming often boils down to managing tradeoffs. You cannot sidestep that issue. Type checkers and compilers have become quite sophisticated. But they cannot solve such problems for you. Lets identify two kinds of tradeoffs. The first kind r...