I would certainly say programmers are not doing constructive math because most programmers' programs don't at all resemble any sort of rigorous proof. In fact,

I would certainly say programmers are not doing constructive math because most programmers' programs don't at all resemble any sort of rigorous proof. In fact, most professional, non-computer-scientist programmers write programs that are hacked up things that "work good enough".