Проверка типа времени компиляции Python

Question

Python не проверяет типы во время компиляции, потому что он не может, по крайней мере, в некоторых случаях. Но кто-нибудь придумал механизм для проверки типа компиляции, основанный на дополнительных аннотациях пользователя? Что-то вроде pylint, который автор использует дополнительные гарантии? Я имею в виду что-то вроде:

#guarantee(argument=int, return_type=int) 
def f(x): 
    return x + 3 

#guarantee(argument=int, return_type=str) 
def g(x): 
    return "%d times" % x 

y = f(6) 

# works, z = "9 times" 
z = g(y) 
# error 
a = f(z) 

Эта шашка будет интерпретировать комментарии выше каждой функции, понимают, что f(x) только должен принять int но г приходит из g(x) так это str. Есть ли какой-нибудь продукт, который делает что-то похожее на это?

Answer 1

PEP 3107 был недавно завершен (недавно был когда-то в прошлом году), который вводит аннотации к переменным и функциям. К сожалению (как вы можете видеть из числа pep), это применимо только к Python 3.x, поэтому любая контрольная сумма (или даже код), которую вы пишете, чтобы использовать ее, будет только Python 3 (что действительно не плохо).

Вы упомянули pylint, поэтому я предполагаю, что вы фактически не хотите, чтобы проверки выполнялись во время компиляции, но вместо этого проверялись после компиляции. Это было бы замечательным инструментом для обсуждения на code-quality mailing list.

Answer 2

Я не уверен, как это значительное улучшение по сравнению с существующими механизмами времени выполнения в Python. Например,

def f(x): 
    if not isinstance(x, int): 
     raise TypeError("Expected integer") 
    return x + 3 

def g(x): 
    return "%d times" % x 

# Works. 
y = f(6) 
z = g(y) 
# Fails, raises TypeError. 
a = f(z) 

Иными словами, без аннотирования каждой функции и каждый метод каждого объекта в Python, было бы трудно статически определить именно то, что тип возвращаемого значения либо f или g есть. Я сомневаюсь, что любая статическая проверка по этим линиям будет иметь какую-то ценность.

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

Answer 3

Я думаю, что ваше недостающее ключевое слово decorator.

Вы можете написать свои собственные декораторы делать такие вещи, как:

@check(bar=int) 
foo(bar): 
    pass 

Вы можете увидеть пример реализации here. Хотя это, конечно, не подходит для проверки компиляции, поскольку это выполняется во время выполнения.