Блог

Главная - Вопросы по программированию - майпи и лямбда уволились()

майпи и лямбда уволились()

#python #mypy

Вопрос:

У меня есть эта проблема с mypy под python 3.88 и w7, я единственный?

 x = lambda: quit()
print(1) # ok

if __name__ == "__main__":
    print(2)  # Mypy: Statement is unreachable

Вы должны использовать опцию mypy —warn-недоступно, чтобы увидеть ошибку.
Чтобы быть более ясным: print(2) оценивается Python, но для mypy он недоступен. Кто-нибудь может объяснить мне, почему? Или это ошибка mypy?

Комментарии:

1. Я не знаком с mypy, но да, для меня это похоже на ошибку. Я могу воспроизвести его . Если вы удалите () «после quit «, он больше не будет жаловаться, даже если это не изменит доступность.

2. Также, если вы поместите quit() в деф, кажется, что ошибка mypy с лямбда

3. Интересно, что он жалуется print на то, но не на то if .

4. Я добавлю проблему в mypy github.

Метки: