/Python/Python mypy cast

Python mypy cast

Python mypy cast

from typing import cast, List

o: object = [1]
x = cast(List[int], o)  # OK
y = cast(List[str], o)  # OK (cast performs no actual runtime check)

0

Similar codes

8 votes342 views1 answer
Use beautifulsoup
Python
0 vote347 views2 answers
Python combine two lists into matrix
Python
3 votes340 views3 answers
List sort by key python
Python
2 votes306 views1 answer
Python string in set
Python
0 vote368 views1 answer
Django url patterns static
Python Django
0 vote332 views1 answer
Get more than one decimal in python
Python
3 votes375 views5 answers
Euclid algorithm
Python
0 vote378 views2 answers
Python function overloading
Python
0 vote324 views1 answer
1: for python position
Python
6 votes392 views2 answers
Python cd to file
Python

Share