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 …
-
-
Replying to @graydon_pub
In the case of generics, the cost of leaving out even simple generics has a high cognitive load cost. I have no problem with taking it slow and conservative; that's a reasonable place for them. But the koans and zealous arguments against generics disrupt the design process.
2 replies 1 retweet 10 likes -
Replying to @wycats @graydon_pub
I keep seeing references to 'koans', but never come across these wrt. generics. Do you have any examples?
1 reply 0 retweets 0 likes -
Replying to @brendanzab @graydon_pub
Yehuda Katz 🥨 Retweeted Dave Cheney
These kinds of things https://twitter.com/davecheney/status/539576755254611968?s=19 … Also: - "less is exponentially more" - "simplicity cannot be added later" And others.
Yehuda Katz 🥨 added,
2 replies 0 retweets 1 like -
Replying to @wycats @graydon_pub
Ahhh right. Yeah, I'm cool with saying 'it's a hard design problem', but it can be a challenge to communicate the nuance of this to the language users/fans. Same thing goes with Elm and bounded polymorphism.
1 reply 0 retweets 0 likes -
Replying to @brendanzab @graydon_pub
I have no problem whatsoever with languages trying different spots on the curve-bending space. Interestingly, Rust's "koans", such as they are, all *encode* the Rust value for finding ways to bend tradeoff curves (the "X without Y" template). It helps with nuance, ime.
1 reply 0 retweets 1 like -
Replying to @wycats @graydon_pub
Yeah, I guess I just get frustrated when designers fan the flames of that for quick marketing points, rather than working on demystifying the design process, and empowering the community be a part of that process.
1 reply 0 retweets 1 like -
> “nothing went in [to the language], until all three of us [Ken, Robert and myself], agreed that it was a good idea.” — Rob Pike, Gophercon 2014 This is great, but as you said, it doesn't help other people understand what goes into thinking or help them be a part of the process
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.