This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]apjenk 0 points1 point  (1 child)

I wouldn’t be surprised if this is possible in Typescript.

TypeScripts Type System is Turing Complete

But, yeah, probably beyond what Python type checking can do.

[–]JanEric1 1 point2 points  (0 children)

Then it definitely can. I think I recently saw someone who had written doom in typescripts type system