Unlike Pyrex, Psyco does not exactly type variables but rather creates several speculative machine code versions of each Python block based on each hypothesis about what the data types.

• 是哪种类型的每种假设为每个Python代码块创建几种可能的机器代码。