函数式语言范畴描述研究

• 作者: 刘素芬 袁晓月
• 来源期刊: 江西科学
• 关键词: 函数式语言 范畴论 等价性
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 信息科学
• 页码范围: 752-754
• 页数: 3页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.13990/j.issn1001-3679.2015.05.030

摘要

函数式语言更注重问题描述,因此其有更高的编程效率. 范畴论作为抽象模型,其由对象集和射集构成. 然而函数式语言和范畴模型间对应关系并不明确. 通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁晓月	江西省科学院应用物理研究所	13	17	2.0	3.0
2	刘素芬	江西省科学院应用物理研究所	11	9	2.0	2.0