On the Philosophy of Programming.