Hacker News Reader

As a fan of the Curry-Howard correspondence, I approve of this decision.

You’re going to hate when you learn that the never type is inhabited

I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...

Perhaps it refers to PhantomData<!> but I don't know

In Rust, `loop {}` is an expression of type `!`, which means that from a type-theoretic perspective it is inhabited. This means that the Curry–Howard correspondence fails for Rust.

Reply on news.ycombinator.com