Hacker News new | ask | show | jobs
by mickael 2635 days ago
Apparently, Typescript type system is already Turing-complete: https://github.com/Microsoft/TypeScript/issues/14833