https://fsharpforfunandprofit.com/csharp/union-types-in-csha...
Normally my comment would be an unnecessary back-slapping, but since the conversation veered this way, I think it is appropriate to call out your comment as something that represents the spirit that makes HN unique and wonderful.
Hackernews has an _instagram filter_ where everybody brags about how smart they are.
Then there's a bunch of fresh grads who fanboy their favourite tech companies.
Then every so often you get a gem of a comment from knowledge leader in the industry.
But that's quickly overshadowed by 'my Startup, my Startup, mah Startup' and how everybody wants to be rich one day.
But like every larger community in the internet, it eventually derives itself into an echo chamber.
The shat on one is the old Java, verbose, obtrusive style. The newly praised one is Haskell-style, type inferred, expressive...
Now you could say that's not new, BUT what is new is marrying ML style type system to languages whose other concepts devs are largely familiar with and packaging it the right way to get into production, instead of just academia and that being the case even for historically impenetrable low-level programming and such.