TypeIs for isinstance

Apologies if I'm missing something obvious, but I checked issues and PR's and haven't seen this mentioned explicitly.

Could isinstance use TypeIs?

With multiples checks it could return an union, with one type T a TypeIs[T].

I often find myself writing one-liner helpers functions that just call isinstance, see this script for example:

https://github.com/OutSquareCapital/pyochain/blob/master/scripts/check_docstrings.py

This both add boilerplate and a performance tax due to a double function call overhead.

I'm very often using lambdas with fluent interfaces, e.g

res = (
my_iterator
.map(lambda x: ...)
.filter(lambda x: isinstance(x, int)
)

Assuming my_iterator is an Iterator[Any], it would be fantastic if it could be narrowed to Iterator[int] without having to define a separate TypeIs function.

Bắt đầu với ví dụ scripts/check_docstrings.py được liên kết và hành vi isinstance/TypeIs được yêu cầu. Làm rõ cách các phép kiểm tra đơn lẻ và nhiều phép kiểm tra nên thu hẹp kiểu, sau đó xác định các stub và bài kiểm tra của typeshed cần thiết để xác thực hành vi đó; được xem là hoàn tất khi đề xuất có kết quả định kiểu được xác định và phạm vi bao phủ tương ứng.