程序设计语言的类型结构剖析

Analysis of Type Structure of Programming Language

程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限映像(数组)、迪卡尔积(结构体)、判定或(共用体)、序列(串和文件)、指针等,并且适当地进行了举例说明。

By comparing C Programming Language,this paper analyzes the type structure of programming language,which is one of the major subjects of the Principle of Programming Language.The topics of Inner Non-structured Type,Enumeration Type,Finite Mapping(Array Type),Cartesian Product,Structure Type,Discriminated Union(Union Type),Se-quence(String,Sequence File),and Pointer Type are in particular analyzed and illustrated as well.