TypeScript and Turing Completeness
itnext.io