函数—规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性，混合语言系统将代数规约转换为合流的重写系统，将函数定义，计算约束和优化规则视重为规则，基于重写模型，以平行最外方法辅以必要归约进行计算。