typing

198 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq: can I use a type argument as the type of successive argument?
user_59472470
•
2
1
38
adhoc-polymorphism parametric-polymorphism coq typing
Subscriptable Type in Python typing
user_35666060
•
5
2
618
typing python
How to specify that a python object must be two types at once
user_91125850
•
5
3
485
typing python
Python typing - is there a way to avoid importing of optional type if it's None?
user_7958560
•
5
3
3334
mypy pypi typing python
How to make python typing recognize subclasses as valid types when it expects their parent class?
user_67647390
•
4
2
1851
callable typing subtype class python
Why isn't np.ndarray a valid type?
user_50498130
•
2
0
928
mypy typing numpy python
How to use typing.Protocol with modules?
user_3662210
•
6
0
1037
mypy type-hinting typing python
Python: Sharing type annotations between Protocol and TypedDict
user_65605490
•
7
0
925
mypy typing python
TypeError: Type Tuple cannot be instantiated; use tuple() instead
user_71222720
•
28
1
12848
typing python-3.x python
What is the correct way in python to annotate a path with type hints?
user_32333700
•
17
1
16356
pathlib type-hinting typing python
Hot Questions