「Catamorphism」の版間の差分

前半の訳を修正
m (ボット: 言語間リンク 3 件をウィキデータ上の d:Q1959790 に転記)
(前半の訳を修正)
[[圏論]]において、'''Catamorphism'''([[ギリシャ語]]: [[wikt:κατά|κατά]] = ''下方へ'' または ''~に従って''; [[wikt:μορφή|μορφή]] = ''形式'' または ''形'')は、[[始代数]]から他のいくつかの[[F代数|代数]]への唯一の[[F代数#形式的定義|準同型射]]を意味する概念である。この概念は[[関数型プログラミング]][[モノイド#計算機科学におけるモノイド|fold]]に適として応用されている。
 
[[Anamorphism]]はこの双対となる概念である。[[Hylomorphism]]も参照。
== 関数型プログラミングにおけるCatamorphism ==
 
'''Catamorphism'''は関数型プログラミングでは、'''Catamorphism'''はにおいて[[リスト_(抽象データ型)|リスト]]の[[モノイド#計算機科学におけるモノイド|fold]]として知ら呼ばれる操作を、[[始代数を、]]として表現できる任意の[[代数的データ型]]で記述できるように一般化したものである。
 
プログラミングにおいてCatamorphismの概念を導入した最初の出版物の一つは、“Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire”, by [[Erik Meijer (computer scientist)|Erik Meijer]] ''et al.''[http://citeseer.ist.psu.edu/meijer91functional.html]で、[[Bird-Meertens formalism]]の文脈であった。
匿名利用者