Hacker News new | ask | show | jobs
by Thaxll 1012 days ago
I'm really confused, is it what TS is supposed to looks like?
1 comments
prologist 1012 days ago
It's just a demonstration of how to encode the transition rules for Conway's game of life as a set of types, aka logical constraints. TypeScript's type system has unification, same as in Prolog, and since Prolog is basically Turing complete so is TypeScript's type system.
link
EMM_386 1011 days ago
TypeScripts Type System is Turing Complete #14833

https://github.com/microsoft/TypeScript/issues/14833

link