> no new big ideas since Prolog
Given that Prolog dates back to 1972, I wonder if spreadsheets count as a big new idea? How about programmer notebooks like Jupyter?
Given that Prolog dates back to 1972, I wonder if spreadsheets count as a big new idea? How about programmer notebooks like Jupyter?
Basically they're "just" a declarative data-flow system. Similar timeframe, but slightly earlier, at least as far as my wikipedia-fu is suggesting[1], in the 60s.
But yeah, they've been awfully transformative after that, and continue to be. I can't really think of a better counter-example at the moment.
* type inference
* message passing concurrency