Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Course is probably great, but I find it really weird and unnecessary to describe Typescript type system as Turing complete. Who cares?


People who are trying to statically describe the behavior of highly dynamic JavaScript code.


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...




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: