作者：袁晓月单子范畴论fsharp函数式编程
摘要：范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质。在此基础上,通过引入（_）＊运算符,定义了Kleisli范畴。由此定义了函数语言F#单子。在此基础上给出了F#单子满足的性质与范畴单子性质的对应关系。最后给出了F#单子常见的5种编程情形。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《江西科学》（CN：36-1093/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《江西科学》为江西省科学院主办的自然科学综合性学术刊物，立足江西，面向全国，主要介绍江西省的重大科研成果和阶段性科研总结，发表具有一定理论水平和实践价值的理、工、农、医及某些边缘学科的学术论文和有关江西省自然条件、自然资源的考察报告。
省级期刊
人气 753957 评论 72
人气 485010 评论 71
人气 465037 评论 66
部级期刊
人气 442168 评论 69
