Isn’t programming the clearest form of writing? Perhaps it’s the non programmers that need to “catch up”.
In fact, according to theory, we're writing executable proofs.
Not the way most people do it.
"100 baskets of apples" is easier to hold in your head than "23 baskets of red, small-ish apples, 12 of large red, 6 of any size green...", but my no means does it permit a more clear view of the Truth.
Different usage of the word "clear".