• Rust's type system is Turing-complete (2017) https://sdleffler.github.io/RustTypeSystemTuringComplete/ 87 comments 13/3/2021
• Rust's Type System Is Turing-Complete: Type-Level Programming in Rust https://sdleffler.github.io/RustTypeSystemTuringComplete/ 117 comments 11/3/2017

• Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 3 comments 11/3/2017 compsci
• Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 48 comments 11/3/2017 programming
• Rust's Type System is Turing-Complete: An exploration of type-level programming in Rust https://sdleffler.github.io/rusttypesystemturingcomplete/ 38 comments 10/3/2017 rust

Linking pages

Linked pages

Related searches:

Search whole site: site:sdleffler.github.io

Search title: Rust's Type System is Turing-Complete – Recursive Descent into Madness – A countable set of sanities and insanities, by Shea Leffler.

See how to search.