Mostly. But I think people will find a smaller (but important!) set of problems by which you need precise language to properly express what you want without being super verbose. Then, they will rediscover declarative languages like SQL, Prolog, Datalog, APL, Lean, TLA+, and Quint

3 likes 1 replies