I’ve been in that camp the last 20 years, and even yearned for a paradigm shift or two. But I have to say, the coming shift from formal languages, type systems

I’ve been in that camp the last 20 years, and even yearned for a paradigm shift or two. But I have to say, the coming shift from formal languages, type systems and somewhat predictable failure modes to… “prompt engineering” has me a bit worried