Rust's Type System Is Turing-Complete (2017) | Hacker News Reader