That argument hinges on whether you believe that it would be undesirable to have compile-time checking for methods. If you agree that it would be desirable (I certainly would find it so), then the argument you are making is backwards. By that logic, you would choose to not have your method calls compile-time checked even if the option existed, because after all, coderefs can't be checked either, so who cares, right?