Re:TypeScripts Type System Is Turing Complete
by Asooka on Wednesday August 02, 2017 @04:33AM
(#14908899)
How can you, specifically you the human, typecheck the program if it has an infinite loop in the types? If you can typecheck it, then I can write a compiler to typecheck it, repeat until my compiler can typecheck every correctly-typed program a human can write, at which point the problem becomes moot.
[ Parent
| on HN ]
Re:TypeScripts Type System Is Turing Complete
by lmm on Wednesday August 02, 2017 @04:50AM
(#14908969)
For every specific typescript compiler, there is a correct typescript program that that complier fails to compile. The ones for particular humans will generally not be the same as the ones for particular compilers.