> What this makes me wonder is: what abstractions might be in progress today but incomplete?
Category Theory, especially how it relates to programming language and API design.
We’re building pyramids like the Egyptians did, and we’re impressed without ourselves and our grand achievements just like they were.
The Egyptians built a wonder of the world before the invention of the wheel!
That’s what programming feels line to me. We’re well paid labourers chiselling away at stone with crude tools. We’re convinced ourselves that we live in the future because we have copper tools instead of just wood and stone.
The most amazing thing about the computer revolution is that it hasn’t happened yet.