7 ms·

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

• SabrinaJewson 5d ago
  You’re going to hate when you learn that the never type is inhabited
  • kibwen 5d ago
    I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#r-items.enum.empty.uninhabited https://doc.rust-lang.org/reference/items/enumerations.html#...
    • SabrinaJewson 4d ago
      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.
    • ratmice 5d ago
      Perhaps it refers to PhantomData<!> but I don't know