Bruce Eckel写的“Strong Typing vs. Strong Testing”