It sounds like he needs to try Haskell, or strong typed functional in general. Less boilerplate, less testing, less worry when changing code later.