范畴单子在F#语言中的应用研究

• 作者: 袁晓月
• 来源期刊: 江西科学
• 关键词: 单子 范畴论 fsharp 函数式编程
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 信息科学
• 页码范围: 539-542
• 页数: 4页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.13990/j.issn1001-3679.2014.04.028

摘要

范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组.针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质.在此基础上,通过引入(_)*运算符,定义了Kleisli范畴.由此定义了函数语言F#单子.在此基础上给出了F#单子满足的性质与范畴单子性质的对应关系.最后给出了F#单子常见的5种编程情形.

作者信息

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