Expressivity in code

In the initial post I gave an example of how we see expressivity increase in maths as we progress from words to symbolic arithmetic to algebra

I introduced a woolly model to test expressivity - does it enable us to say more in our programs and yet remain precise by being open to a transparent and predictable form of substitution?


This is being lazily evaluated. The stream will respond.