Re:TypeScripts Type System Is Turing Complete
by naasking on Thursday August 03, 2017 @10:33AM
(#14919907)
Except you know no such thing, that's the point. That could very well be the intended and correct behaviour of the compiler for that input.
Re:TypeScripts Type System Is Turing Complete
by flashmob on Saturday August 05, 2017 @08:00PM
(#14938771)
Sure, I can see your point. It's a problem for computer scientists, and good to know as an anecdote. I'm talking about it in practice - when using TypeScript the 'halting problem' has never been an issue. I was joking about the 'kill -9' but also meant it in a half-hearted way!
So, if not turing complete, what kind of automata would you use to accept your language, say if you were designing your own language?
In most cases, you know something is wrong once your typescript compilation takes more than a few seconds. At most, it could be an interesting DOS attack, but most continuous integration systems should have a limit on how much seconds they can run the compiler for. So it's really not a problem if you have constraints on resources...