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.