Hacker News new | ask | show | jobs
by theteapot 1373 days ago
Course is probably great, but I find it really weird and unnecessary to describe Typescript type system as Turing complete. Who cares?
1 comments
lolinder 1373 days ago
People who are trying to statically describe the behavior of highly dynamic JavaScript code.
link
theteapot 1373 days ago
Yeah but how is Turing completeness directly relevant to that? Article doesn't seem to explain, just says "Turing Complete" in the title. Again, so what? I suppose it's somewhat indirectly vaguely reassuring?

P.S. You might like this http://beza1e1.tuxen.de/articles/accidentally_turing_complet...

link