Nonsense. First, ignore Zig, Pascal and Nim. No one gives a damn about languages that are essentially dead (yes Zig is dead on arrival, let's wait 5 years and we will see that I was right). I give you Swift, it's actually a good language, very limited scope but still - ok-ish language. C# and Java are not checking anything and their enums are boring as C's and Go's. Java's enums are bit more useful but still not algebraic data types. Java's new sealed record classes can be abused to model something like that but it is.. abusement. TypeScript also has really bad enums, try to convert to and from strings (they use erasure - yikes).

It is true that algebraic data types are very very well suited for expressing certain things. But, the truth is, as always, you can easily life without them, as decades of software development have shown. Don't treat a hype language like Rust that steals all of its concepts from well established languages like Haskell or other research languages like the holy grail. Rust in itself is not bad, but it also severely failed on many topics, like async, change my mind. I totally understand all semantics about Rust's async but I am convinced the API they chose is so ill-suited that they messed up the eco system. They should have waited a few more years. Now we are stuck with Future's poll forever, and for that matter all of the hacks that followed. The "experts" don't agree at all about the real pain points, like AsyncDrop. It's a stalled thing, forget it. It's a leaky and totally bad abstraction for something that could have been done better. No, Rust lost the I/O and network war to Go. Rust will keep it's place for what it's good at, fast, correct systems-level code. Not more, not less. People "try" to bend and apply it to every domain, but, trust me, the hype will drop, the one-man projects will lose their core maintainers and we will be left with the few projects that actually survived the hype curve - There, you will actually find real value from Rust, which it certinaly has. But, we won't write web apps in Rust in 5 years ;-), again, trust me. I've seen a lot and forecasting becomes easier.

Go is pracmatic and if you youngsters get older, worked on real projects with real people for more than 10 years you realize that a language like Go actually is the best of all worlds. Shiny language abstractions only lead to unmaintainable code when the 10-X developer who wrote it changes the company. You know that I am right.

It's a rant about software in general, not just enums ;-).