Niko Matsakis (Baby Steps) personal blog
Never patterns, exhaustive matching, and uninhabited types in Rust
One of the long-standing issues that we’ve been wrestling with in Rust is how to integrate the concept of an “uninhabited type” – that is, a type which has no values at all. Uninhabited types are useful to represent the “result” of some computation you know will never execute – for example, if you have to define an…
- Points
- 161
- HN comments
- 76
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 18, 2018 | Never patterns, exhaustive matching, and uninhabited types in Rust by fanf2 | 161 | 76 |
