There are a lot of claims made to try to apply CT to programming; I agree most of that effort is overhyped. But CT in general has nothing to do with programmin

There are a lot of claims made to try to apply CT to programming; I agree most of that effort is overhyped. But CT in general has nothing to do with programming, it's proper role is in pure mathematics