Rust's Type System Is Turing-Complete: Type-Level Programming in Rust

280 points by sleffy

Read the article

Discussion on Hacker News