Re:TypeScripts Type System Is Turing Complete
by myusernameisok on Tuesday August 01, 2017 @10:28PM
(#14907443)
I don't understand how this is fundamentally different from just doing it in regular javascript. You could write a javascript function that recurses forever on condition x:
just write a function that calls itself with the same parameters unless condition x is met. How is it fundamentally different if the type system does it?
[ Parent
| on HN ]
Re:TypeScripts Type System Is Turing Complete
by shusson on Tuesday August 01, 2017 @10:47PM
(#14907539)
> How is it fundamentally different if the type system does it?
runtime vs compile time. For example someone could write some TypeScript that would forever compile, which is intuitively unexpected when compiling.