自从2014年发布的PEP484对Python标注进行标准化之后，Python社区对Python进行类型标注的工作越来越多，包括PEP526对变量的标注、PEP544对结构化子类型的标注、PEP589对字典类型的标注等。但是PEP544对结构化子类型的标注工作仍不完善，它使用上较为繁琐，并且无法对可拓展数据类型进行标注。本文探究如何拓展Python标准的类型系统，从而能够对结构化子类型有更强的表达能力。
　　为了解决这个问题，本文引入行类型，它提供了一种描述结构化子类型的视角。本文给出了将行类型融入到Python类型系统的思路，设计了用于提供基于行的记录类型的rtyp-ing库以及对记录类型进行标注的形式，并给出rtyping库的应用案例。除此之外，为了验证用户是否正确使用rtyping库，还需要提供相应的类型检查器。为了简化类型检查算法，本文设计了一个精简的基于行类型的核心语言Core，并在Core上实现了一个类型推导算法。为了对使用rtyping库的Python代码进行类型检查，需要将相关代码翻译到Core上，本文给出了翻译的方法。于是对使用rtyping库的代码的类型检查问题转化为了Core上的类型推导问题，由此实现类型检查器rchecker。
　　结果表明，本文提出的rtyping库可以有效提升Python类型系统的表达能力，它可以描述静态可拓展的数据类型、简化对结构子类型的标注等。同时rchecker能够验证rtyping使用的正确与否。