By contrast, I rather default to open membership, offer matching constructs that support overlap, and permit reusing ctors across types.
-
-
I think the claim that we should all switch to OCaml polymorphic variants is pretty different than not wanting sum types.
1 reply 0 retweets 2 likes -
I'm trying to counter claim that sum types = universal improvement. Go gets pretty far with second class products & memory-safe down-casting
4 replies 0 retweets 0 likes -
Replying to @BrandonBloom @samth and
I'm a believer that less is generally more, even if it means choosing looser fitting primitives to avoid abundance of form-fitted ones.
1 reply 0 retweets 0 likes -
Replying to @BrandonBloom @samth and
Reasonable people can disagree, but it's shortsighted to imply Go's designers were either ignorant or stupid, & Rust is somehow enlightened
1 reply 0 retweets 0 likes -
They weren’t stupid. They just made a design mistake. That’s OK. I made design mistakes with Rust too.
1 reply 1 retweet 3 likes -
My list of design complaints about Go is long. It just doesn't include lack of sum types.
1 reply 0 retweets 0 likes -
I'll think about everyone's complaints about Go while my Go code compiles. Oh, done. Time's up.
1 reply 0 retweets 2 likes -
My JS code compiles really fast too.
2 replies 0 retweets 1 like -
Sure. And that's where Go did a good job balancing other aspects of the language. Fast compile isn't everything but it's significant.
1 reply 0 retweets 0 likes
The lack of sum types has absolutely nothing to do with compilation time. It has everything to do with lack of optimizations.
-
-
Not a big deal for the kinds of programs I write. Go's a good fit for me. I don't need a variety of types as interfaces suffice for the lot.
1 reply 0 retweets 0 likes -
I find that I define new interfaces relatively sparingly in applications. Although some occasionally have many implementations.
1 reply 0 retweets 0 likes - 11 more replies
New conversation -
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.