Operational semantics has transformed language theory quite a lot in my opinion. It has set a new precedent for precision in describing programming languages. I

Operational semantics has transformed language theory quite a lot in my opinion. It has set a new precedent for precision in describing programming languages. I would hope that more new languages began to pick that idea up. And then to use formal machine verified methods for verifying its meta-theory.