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 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.
[ Parent | on HN ]
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?

[ Parent | on HN ]