Viewing a single comment thread. View all comments

Moonside wrote

I just read a little and apparently the type system is Turing complete? That's kinda funny, I wonder how common that is.

2

twovests OP wrote

Python's types are Turing Complete too, but that makes sense because types are classes which interact with one another through code.

But in addition to types, Python has type hints! But the type hints have no semantic meaning, and are compiled away. Despite this, Python's type hints are turing complete too.

1

flabberghaster wrote

Type hints are mostly used for static analysis tools, and for that it works but it is very annoying to put them just to satisfy your presubmit checks. Especially with the IMO kind of clumsy syntax. But they work well. And they do prevent very annoying bugs.

2