Comment by trentmb

I was a math major and while trying to get a job in programming I got asked how I felt my skills in mathematics would transition to programming-

The language (spec) is my set of axioms, the standard library existing theorems, and my program the proof.

It's kinda drab now that I think about it, but for a 'firing from the hip' answer I still stand by it.