From experience, these make a significant difference in medium to large teams, where juniors / newcomers feel more confident working a codebase without the fear that they’ll trigger a chain reaction of load-bearing tech debt bugs.

Think of all the promotions though

Generic monomorphization and type inference can prevent this by increasing code size and compile times until it is impossible to add new features 🙃

I’m reminded of some (I heard about it so perhaps apocryphal) finding that drivers compensate for safety features on cars by driving faster, intuitively gravitating toward a more or less fixed nonzero accident rate no matter how safe their vehicles.

Don’t be so cynical! It allowed companies to lower their hiring bar and pay less too!

And the higher productivity of dynamic languages also goes towards more features. 🤷‍♂️

So get CoSy @CoherentSystems . Go straight to APL level expressive power in open to the chip Forth to make what you need as lean as you need . At the APL level CoSy's modulo indexing makes memory errors something you almost have to work at .