From outside the programming world, programming languages mostly just look like programming languages—a garble of mathematical symbols dotted here and there with isolated English words. Any structure ...