I get the thrust of your argument (that the expressiveness of the type system is what matters here), and it makes sense to me. I'm not sure I agree with this t

I get the thrust of your argument (that the expressiveness of the type system is what matters here), and it makes sense to me. I'm not sure I agree with this though: > Do you really think that `unwrap()` is meaningfully different from "forget[ting] about the else branch"? Does it require you to "explicitly handle the None case"? I haven't used Rust, so but digging up the source shows unwrap is indeed just a `match` that panics on None. The fact that "you can put thing inside a function and call that function" doesn't mean you "don't have to explicitly do thing". We end up with a pretty useless standard for "explicitly doing thing" if putting thing in a function doesn't count.