The metric and the constructive approach to programming

Metric:
- Let's benchmark our programs
- Let's write automated tests for our programs

Constructive:
- Let's determine the algorithmic complexity of our programs
- Let's prove our programs correct