Семантика и состояние Python

Question

Я пишу какую-то формальную семантику для Python. Надеюсь, что некоторые гуру-питоны могут помочь мне. По мере того, как выполнение программы перемещается вниз по списку операторов, каждый оператор присваивания (или выражение) встречается с ним, он указывает тип на основе контекста. Но он сохраняет этот тип где-то тогда (так что в следующий раз при встречах он может проверить хранилище и проверьте тип), или он выполняет операцию, затем выбрасывает тип, а затем выводит тип снова в следующий раз, когда встречается с переменной? Это для Python 3+ btw (надеюсь, я это сделал)

Answer 1

Python использует динамическую типизацию. Тип является частью значения. Везде, где значение идет, его тип идет вместе с ним. (Вы можете получить независимое значение, соответствующее этому типу, с помощью функции type().) Тип значения отбрасывается только тогда, когда все значение выбрано. Переменная - это просто ссылка на значение: каждая переменная относится только к одному значению, и вообще это может быть любое возможное значение без ограничений по типу.

Например, в

a = 2 

Python не делает aint переменной; 2 - это то, что имеет тип int. a - это всего лишь ссылка на 2, которая является целым числом. Когда вы затем написать

b = a + 3 

Python получает тип a, просто получая значение, указанное на a, а затем получить тип этого. Выражение оценивается и результат сохраняется в b.

С точки зрения статически типизированного языка, как будто каждая переменная в Python имеет тот же тип значение, при этом каждое имеет значение.

Дополнительную информацию о статической и динамической типизации см. В разделе this other question.