On the interplay between mathematics and programming