江西科学
江西科學
강서과학
JIANGXI SCIENCE
2014年
4期
539-542
,共4页
单子%范畴论%fsharp%函数式编程
單子%範疇論%fsharp%函數式編程
단자%범주론%fsharp%함수식편정
范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组.针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质.在此基础上,通过引入(_)*运算符,定义了Kleisli范畴.由此定义了函数语言F#单子.在此基础上给出了F#单子满足的性质与范畴单子性质的对应关系.最后给出了F#单子常见的5种编程情形.
範疇論中的單子是包含一箇函子和2箇自然變換的三元組,而函數式F#語言中的單子則是由包含構造子和return操作和bind操作的三元組.針對2種單子定義不一緻的問題,首先給齣瞭範疇單子的定義和性質.在此基礎上,通過引入(_)*運算符,定義瞭Kleisli範疇.由此定義瞭函數語言F#單子.在此基礎上給齣瞭F#單子滿足的性質與範疇單子性質的對應關繫.最後給齣瞭F#單子常見的5種編程情形.
범주론중적단자시포함일개함자화2개자연변환적삼원조,이함수식F#어언중적단자칙시유포함구조자화return조작화bind조작적삼원조.침대2충단자정의불일치적문제,수선급출료범주단자적정의화성질.재차기출상,통과인입(_)*운산부,정의료Kleisli범주.유차정의료함수어언F#단자.재차기출상급출료F#단자만족적성질여범주단자성질적대응관계.최후급출료F#단자상견적5충편정정형.
