Теория подсказок по типам данных

Гвидо ван Россум излагает теоретическую концепцию подсказок интерпретатору о типах данных. В этом, или скорректированным вами виде предложение может быть сделано для python 3.5