Comment by redbar0n on A reckless introduction to Hindley-Milner type inference · 2021-08-24T13:19:19.456Z · LW · GW

> there's a tradeoff between what I'll call expressiveness and legibility. A programming language is expressive if you can easily write many interesting programs in it5; it's legible if you can easily say many interesting things about the programs you've written in it. And I claim that the most expressive programming languages won't be the most legible, and vice-versa

"The Rule of Least Power": https://www.w3.org/2001/tag/doc/leastPower.html