This doesn't really answer the GP and reads like sour grapes from a "formal/academic" type who missed the boat on the last 2 decades of advances in computing an

This doesn't really answer the GP and reads like sour grapes from a "formal/academic" type who missed the boat on the last 2 decades of advances in computing and AI. > But the world went with imperative programming, nondetermistic async, rasterization, neural nets.. just really complicated and informal systems that are difficult to scale ...wat?