Проверяет ли mypy Никогда не печатает вообще? ⇐ Python
-
Anonymous
Проверяет ли mypy Никогда не печатает вообще?
Я играл с вводом Никогда в mypy. Если у меня есть функция foo(x: int), я ожидал, что при вызове со значением типа Never mypy будет жаловаться, но он молча проверяет тип вызова: от ввода импорта Никогда Защиту foo(x: int): проходить def bar(x: Никогда): foo(x) # ок, я ожидал ошибку типа foo("фу") # ошибка --- изменить ---
Для справки: вот мое решение по созданию необитаемого типа
из abc import ABC, AbstractMethod, Final @финал класс Никогда(ABC): @abstractmethod def __init__(self) -> Нет: ...
Я играл с вводом Никогда в mypy. Если у меня есть функция foo(x: int), я ожидал, что при вызове со значением типа Never mypy будет жаловаться, но он молча проверяет тип вызова: от ввода импорта Никогда Защиту foo(x: int): проходить def bar(x: Никогда): foo(x) # ок, я ожидал ошибку типа foo("фу") # ошибка --- изменить ---
Для справки: вот мое решение по созданию необитаемого типа
из abc import ABC, AbstractMethod, Final @финал класс Никогда(ABC): @abstractmethod def __init__(self) -> Нет: ...
