函数式语言范畴描述研究  

Research on the Functional Programming Languages to Description of Category Theory

作　　者：袁晓月[1] 刘素芬[1] 

机构地区：[1]江西省科学院应用物理研究所,南昌330029

出　　处：《江西科学》2015年第5期752-754,共3页Jiangxi Science

摘　　要：函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质。Functional languages are more efficient than imperative languages because they focus on problem description. Category theory is abstract model,which consists of objects and morphisms.There is not exact relationship between functional languages and models of category theory. The paper shows the general process from functional language to model of category theory and discusses the properties of the model by importing three hypothesizes.

关 键 词：函数式语言 范畴论 等价性 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]