|
圏論において、Catamorphism(ギリシャ語: κατά = ''下方へ'' または ''～に従って''; μορφή = ''形式'' または ''形'')は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。 Anamorphismはこの双対となる概念である。Hylomorphismも参照。 == 関数型プログラミングにおけるCatamorphism == Catamorphismは関数型プログラミングにおいてリストのfoldと呼ばれる操作を、始代数として表現できる任意の代数的データ型に一般化したものである。 プログラミングにおいてCatamorphismの概念を導入した最初の出版物の一つは、“Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire”, by Erik Meijer ''et al.''で、Bird-Meertens formalismの文脈であった。 双対であるAnamorphismは、''unfold''の一般化である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Catamorphism」の詳細全文を読む スポンサード リンク
|