News for hackers. Stuff that matters.
Re:FOSDEM 2025: The state of Rust trying to catch up with Ad... by Ygg2 on Monday February 10, 2025 @06:38AM (#42999197)
There is a pdf of presentation in the link...

Pattern types or liquid types or dependent types are a way to express a subset of a type. E.g.

    type NonNull = usize is 1.. 


    type PokerNonFaceCard = u8 is 2..11

There are no comments on this comment yet.