动态类型语言已经被广泛地应用于实践应用之中。Python是一种典型的动态类型语言，具有语法简单，开发迅速，使用灵活的优势。但是由于Python语言不具备类型声明语法，也没有提供静态类型检查，导致它在应用、开发效率和维护上都存在许多不便之处。 为此，一些学者进行了深入的研究，他们提出了一些改进的建议，也给出了一些解决方案，但是由于缺乏类型声明带来的问题较多，各学者所侧重解决的内容也不尽相同，因此在引入类型声明和提供类型检查方面，当前的研究成果都没有很好地解决这个问题。 论文针对当前研究中的不足，对Python语言进行扩展，设计并实现了一种TPython语言。TPython语言对Python缺乏类型声明的问题做出了改进，在有效保留动态语言优势的基础上提供了静态语言的特征，是一种结合动态性和静态性的语言。TPython语言支持对符号进行可选类型声明，支持包括类型检查在内的静态检查，在理论上和实践上都较好地解决了Python缺乏类型声明所导致的问题。相对于动态语言，TPython语言能够提高程序的可读性和可靠性，降低调试成本。相对于静态语言，TPython语言又具有语法简单，易于开发的优势。同时，TPython语言的设计和实现也为动态语言的发展提供了一条可选的道路。 论文的主要工作包括：（1）分析了Python语言的解释器，对Python的解释执行过程及其实现原理进行了研究；（2）设计了TPython语言，主要包括对TPython语言的类型系统，类型声明语法，类型推导算法和静态检查规则这四个部分进行设计；（3）结合前面两个工作的结果，扩展Python语言解释器，实现TPython语言的解释器。