Programming Computable Functions