My guess is a highly specialized form of obsessive-compulsive disorder. Tendency towards fields like programming and engineering -- where correctness is both demonstrable and required -- are just side effects of this.