S sdleffler.github.io Rust's type system is Turing-complete (2017) 114 points lukastyrychtr 5 years ago 87 comments