Why Rust helps even if you have to use a lot of `unsafe`
This article could be 1 sentence: “it has sum types” :)<p>I find programming in a language without sum types is like rock climbing in ankle weights. I just can’t model many types of data correctly, and I hate using product types for something that is clearly a sum type.<p>Even if Rust didn’t make any safety guarantees over other languages (although sum types <i>provide</i> safety guarantees through exhaustiveness!) I would still think Rust helps a lot because of that.<p>I guess Swift and Kotlin are basically “it has sum types” languages too, although they both come with baggage (Apple-only in practice, JVM).