I won’t @ them but limiting expressivity in order to limit cognitive load and keep codebases approachable is a totally legitimate move in language design. I’d even say essential. It’s all about balance, and expressivity _does_ have tradeoffs.https://twitter.com/SeanTAllen/status/1036236006872305665 …
In general, if it looks like I'm citing a koan, I'm describing half of a tradeoff. Types reduce what you can express in exchange for more static clarity. Adding back expressiveness makes the type system harder to use. The whole thing is a balancing act between these forces.
-
-
(as you said in your original tweets) Since it's a balancing act, in my opinion it's better to have cultural values that value looking deep into the trade-offs in an attempt to find good spots (and ideally ways to bend the traditional understanding of the axes)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.