Sean Leffler personal blog
Rust's Type System Is Turing-Complete: Type-Level Programming in Rust
(N.B. The word “fuck” appears multiple times in this post. I recommend that the reader temporarily not consider “fuck” as profanity, as it isn’t used that way here.)
- Points
- 280
- HN comments
- 204
- Submissions
- 2
- Cited by
- 7 commenters
Programming LanguagesSoftware Engineering2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 11, 2017 | Rust's Type System Is Turing-Complete: Type-Level Programming in Rust by sleffy | 280 | 117 |
| Mar 13, 2021 | Rust's type system is Turing-complete (2017) by lukastyrychtr | 114 | 87 |
Cited in comments
Linked from 7 Hacker News comments by 7 different people, from May 2020 to Mar 2023.
Most recent:
