[garrisonhh]

Does type theory fit into whatever definition of semantics you're using? It is certainly reaching some incredible heights of usability with tools like Lean and closer to the mainstream with functional languages like Haskell or compilers for Rust. Verification as a topic certainly expands beyond that, 'semantic solving' has been around for a long time and produces some fascinating things

[082349872349872]

Yeah, when I was trying to think of more recent examples type theory came to mind, but I think "structured programming" has had more bang for the buck so far...