计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2013年
3期
602-618
,共17页
递归%共递归%hylomorphisms%累积计算%代数%共代数
遞歸%共遞歸%hylomorphisms%纍積計算%代數%共代數
체귀%공체귀%hylomorphisms%루적계산%대수%공대수
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.
針對函數式程序語言中的一般hylomorphisms無法描述帶參數的遞歸計算的問題,利用完全偏序範疇上的多項式函子分彆給齣帶固定參數和纍積參數的hylomorphisms——phylo射和ahylo射,證明瞭它們在固定參數和纍積參數下都是唯一的,從而將Pardo對帶參數的遞歸計算pfold和afold的研究擴展到hylomorphisms中,使得在hylomorphisms中可以直接包含額外的參數用于作為計算的輸入或者保存臨時的纍積計算結果;從範疇論的角度分析瞭phylo射和ahylo射與其他各種遞歸及共遞歸之間的關繫及其計算律,併利用函數程序語言Haskell給齣相應的實現.
침대함수식정서어언중적일반hylomorphisms무법묘술대삼수적체귀계산적문제,이용완전편서범주상적다항식함자분별급출대고정삼수화루적삼수적hylomorphisms——phylo사화ahylo사,증명료타문재고정삼수화루적삼수하도시유일적,종이장Pardo대대삼수적체귀계산pfold화afold적연구확전도hylomorphisms중,사득재hylomorphisms중가이직접포함액외적삼수용우작위계산적수입혹자보존림시적루적계산결과;종범주론적각도분석료phylo사화ahylo사여기타각충체귀급공체귀지간적관계급기계산률,병이용함수정서어언Haskell급출상응적실현.