Re:TypeScripts Type System Is Turing Complete
by cestith on Wednesday August 02, 2017 @02:40PM
(#14913384)
Even if it's technically valid it's not likely to be a useful program if it has an unhalting loop in its data type declarations and enforcement.
[ Parent
| on HN ]
Re:TypeScripts Type System Is Turing Complete
by chongli on Wednesday August 02, 2017 @02:43PM
(#14913413)
It doesn't have to loop forever, it could just take a few minutes to calculate. There are plenty of useful, real-world projects that take hours to compile (see: any large project in C++). To reject these programs due to an arbitrary timeout is a non-starter.