Discussed at the time: *Rust's Type System Is Turing-Complete: Type-Level Progra... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

dang on March 16, 2021 | parent | context | favorite | on: Rust's type system is Turing-complete (2017)

Discussed at the time:

Rust's Type System Is Turing-Complete: Type-Level Programming in Rust - https://news.ycombinator.com/item?id=13843288 - March 2017 (117 comments)

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact