> IMO the argument is sound in one direction: the precision, structure, and unforgiving nature of programming languages is a feature rather than a bug. If we h

> IMO the argument is sound in one direction: the precision, structure, and unforgiving nature of programming languages is a feature rather than a bug. If we have learned anything from the previous decade in terms of programming is that strong (and static?) types, strictness, and compiler feedback to the developers are features that nearly everyone appreciates. We see this in the popularity of Rust, and TS, static type inference tools and linters like eslint, mypy, ruff and on.