One can image critics and code rewriters that optimize for computational, code style, and other requirements in addition to tests.