> the experience of writing typed Python is quite good. Except for all the third-party libraries that don't have type information, which was most of them last

> the experience of writing typed Python is quite good. Except for all the third-party libraries that don't have type information, which was most of them last time I checked. (Maybe this has gotten better recently? I admit I haven't used Python much in about two years.)