, И, возможно, довольно хороший уже включен в ваш стандартный интерпретатор Python.

@aryamccarthy - это немного неуловимо, но оказывается, что mypy действительно верна и не позволяет OP случайно ввести ошибку в их код - подробности смотрите в моем ответе ниже.

пределить, какая функция может принимать список чисел, которые могут быть целыми или плавающими?Я попытался создать новый тип, используя Union, вот так:

, Это все, что Pycharm смог сделать вывод о типе мастера параметров, поэтому он переместил его в IDE таким образом.

то значит? def f(a: {int, float}): passЯ видел этот синтаксис, используемый в некоторых стандартных модулях Python при получении документации через PyCharm, и я понятия не имею, что это значит. Для чего предназначен типa в моем примере? Какие ...

И желаемое поведение будет там, как отмечено в PEP выше.

у разрешить хинтинг типов с помощью Python 3, чтобы принимать подклассы определенного класса. Например.: class A: pass class B(A): pass class C(A): pass def process_any_subclass_type_of_A(cls: A): if cls == B: # do something elif cls == C: # do ...

и переопределить MyObject как:

аюсь построить граф объектов в некотором коде, где я использую подсказку типа для атрибутов класса в Python 3.6. Обычно это выглядит так: class MyObject: some_variable: float = 1.2Моя проблема в том, что я хотел бы иметь атрибут, который имеет ...

Для произвольной функции вы вообще не можете этого сделать - здесь даже нет синтаксиса. Вот я составляю некоторый синтаксис для этого.

отрим следующий код: from typing import Callable, Any TFunc = Callable[..., Any] def get_authenticated_user(): return "John" def require_auth() -> Callable[TFunc, TFunc]: def decorator(func: TFunc) -> TFunc: def wrapper(*args, **kwargs) -> Any: ...

С другой стороны, типы объектов никогда не были противоречивыми - ясно, что между ними нет преобразования, нет кода, предполагающего, что они взаимозаменяемы, и проверки могут быть только строгими для них, и это имеет место как с внутренними, так и с внешними функциями. Таким образом, введение строгих типов объектов не было проблемой.

о обнаружил, чтотипа намекая [http://php.net/manual/en/language.oop5.typehinting.php]разрешен в PHP, но не для целых чисел, строк, bools или float. Почему PHP не допускает подсказки типов для таких типов, как целые числа, строки, ...?

PY-24832

ал использовать тип подсказки сегодня. Прочитав документацию о подсказках типов, я попытался написать несколько глупых примеров, чтобы проверить, как это работает, и застрял на чем-то простом. a: int = 7.33Я не получаю никаких предупреждений или ...

...

ел бы знать, можно ли намекнуть на тип метода, чтобы ожидать примитивные типы? Что-то вроде этого: public function someMethod(string $str) //^^^^^^Или же: private function anotherMethod(int $num) //^^^так же, как вы бы: private function ...

Clojure defmacro теряет метаданные

Я пытаюсь создать маленький макрос Clojure, которыйdefСтрока с подсказкой типа: (defmacro def-string [name value] `(def ^String ~name ~value)) (def-string db-host-option "db-host")Когда яmacroexpand это, подсказка типа теряется: (macroexpand ...