论文部分内容阅读
泛型程序设计思想是软件重用技术中重要的思想，近年来这个思想受到广泛的重视并发展很快，为了更有效地保证泛型程序设计的正确性，本文将范畴论理论用于研究泛型程序设计。 范畴论描述的规约，它不同于许多其它的规约，它的规约和精化是建立在严格的数学基础(范畴论)上，高度保证正确性，尤其，精化的过程是可证明的。 本文首先介绍了如何将范畴论知识用于程序设计，介绍了泛型程序设计思想和范畴论有关概念；在此基础上提出了将范畴论用于泛型程序设计的思想． 类型参数化的方法是软件开发过程中软件重用的最有效的方法之一，鉴于此本文将泛型程序设计的思想与范畴论理论结合起来，应用范畴论的概念建立代数的模型，将范畴论理论应用于泛型程序设计过程中从而保证程序的正确性。