汗一个……我一直认为，程序员永远比编译器更了解自己的程序……如果静态分析会从根本上剥夺程序员的控制权，那我觉得这样就不好了。把程序员从底层解放出来，从更高层进行控制，这我还是能接受的。
我觉得针对人来开发新的方法会比针对程序开发新的编译器更重要。