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 klodolph on Wednesday August 02, 2017 @11:31AM (#14911329)
That's redefining the problem—if you add a timeout, you are explicitly making the language not Turing complete any more.
[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by icebraining on Wednesday August 02, 2017 @11:38AM (#14911398)
The language still is, just not the environment in which it runs. Much like a language can be Turing-complete without having infinite tape/memory to run on.
[ Parent | on HN ]
Re:TypeScripts Type System Is Turing Complete by klodolph on Wednesday August 02, 2017 @07:33PM (#14915636)
When people say "Turing-complete" it's usually assumed that we are talking about computational models which could emulate Turing machines given infinite memory. But we don't have infinite memory.

Adding time limits radically changes things.

[ Parent | on HN ]