Theory and practice in programming