Comment by tines

I have always thought that there are two kinds of programmer, the tinker and the mathematician. The tinker likes to code operating systems and shells, the mathematician likes to code Haskell and Agda. You've updated my belief that there are a third kind, the entrepreneur, which sees programming as a means to an end and would gladly stop programming if possible.