TypeScripts Type System is Turing Complete · Issue #14833 · microsoft/TypeScript

This is not really a bug report and I certainly don't want TypeScripts type system being restricted due to this issue. However, I noticed that the type system in its current form (version 2.2) is turing complete. Turing completeness is being achieved by combining mapped types, recursive type definitions, accessing member types through index types and the fact that one can create types of arbitrary

[macoshita]

なんか似たような話なかったかなーと思ったらscalaの型もチューリング完全だった

[koba789]

あら、ついに

[adwd118]

これは複雑になりすぎてるということ？

[SWIMATH2]

型システムがチューリング完全……ちゃんと読まなきゃ分からなさそう

[amagitakayosi]

🎉🎉🎉🎉

[gfx]

TS v2.2以降のからの型システムがチューリング完全ということが発見されたらしい。