Lately I've been thinking that the "perfect" programming language would be a specification language that precisely defines the relationship between outputs and

Lately I've been thinking that the "perfect" programming language would be a specification language that precisely defines the relationship between outputs and inputs. Given that, the next step is to 'compile' this specification to a set of tests and (possibly naive) implementations. Profiling then tells the programmer which components of the implementation need improvement and the programmer touches them up and the test verifies they are still correct.