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.