News for hackers. Stuff that matters.

A comment on TypeScripts Type System Is Turing Complete. Parent comment

Re:TypeScripts Type System Is Turing Complete by amenghra on Tuesday August 01, 2017 @07:46PM (#14906575)
That can be solved by setting a reasonable upper bound on how many types can be nested.

In general, having a turing complete type system isn't a major issue, many languages have that property.

[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by Gehinnn on Wednesday August 02, 2017 @04:58AM (#14909001)
This is how the TypeScript team fixed this issue: https://github.com/Microsoft/TypeScript/pull/15011
[ Parent | on HN ]