In particular, the addition of metaclasses makes it difficult to have static type checking, a required condition of the production of reliable software.

• 尤其元类的加入使得静态类型的检查更加困难，而这个检查是软件产品可靠性的必要条件。