python mypy cast

David Diamant answered on August 18, 2021 Popularity 3/10 Helpfulness 1/10

answer python mypy cast

Comment

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)

Popularity 3/10 Helpfulness 1/10 Language python

Source: Grepper

Tags: mypy python

Link to this answer
Share Copy Link

Contributed on Aug 18 2021

David Diamant

0 Answers Avg Quality 2/10

Continue with Google

By continuing, I agree that I have read and agree to Greppers's Terms of Service and Privacy Policy.

Oops, You will need to install Grepper and log-in to perform this action.