基于范畴计算的多目标语言程序生成架构

提出了一种基于范畴论的多目标语言程序生成架构，程序元素的元类型在程序元模型范畴中定义，常用的软件开发模式由元模型实例组成并带有可配置的参数，模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时，通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范，从而支持高度的灵活性和重用度水平。