| 范畴单子在F#语言中的应用研究 |
| |
| 引用本文： | 袁晓月.范畴单子在F#语言中的应用研究[J].江西科学,2014,32(4):539-542. |
| |
| 作者姓名： | 袁晓月 |
| |
| 作者单位： | 江西省科学院应用物理研究所,330029,南昌 |
| |
| 摘 要： | 范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质。在此基础上,通过引入(_)*运算符,定义了Kleisli范畴。由此定义了函数语言F#单子。在此基础上给出了F#单子满足的性质与范畴单子性质的对应关系。最后给出了F#单子常见的5种编程情形。
|
| 关 键 词： | 单子 范畴论 fsharp 函数式编程 |
Research on the Application of Monad of Category Theory in Functional Programming F# |
| |
| YUAN Xiaoyue.Research on the Application of Monad of Category Theory in Functional Programming F#[J].Jiangxi Science,2014,32(4):539-542. |
| |
| Authors: | YUAN Xiaoyue |
| |
| Institution: | YUAN Xiaoyue ( Institute of Applicative Physics, Jiangxi Academy of Science, 330029, Nanchang, PRC) |
| |
| Abstract: | |
| |
| Keywords: | monad category theory fsharp functional programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
