&quot;Looking more like math&quot; is not so vapid. As Leslie Lamport says, programming is hard because thinking is hard. Fortunately, we long ago invented and mostly debugged something to make thinking easier: <i>Mathematics</i>. But, it turns that not only is mathematics a great tool for thinking, it&#x27;s arguably the <i>best</i> such tool we&#x27;ve invented so far.<p>The people that object to making programming look more like math seem to think that the goal is to make programming serve mathematics, but the actual result is that (just as with physics) math ends up in better service to programming.