Haskellと余代数(Coalgebra) - 朝日ネット 技術者ブログ

ここではHaskellの中級者向けのトピックを簡単に取り上げたいと思います。 今回は余代数(Coalgebra)についてです。Haskellを書いていると『余（なんとか）』という言葉をみかけることがあります。これは英語の接頭辞 Co- の訳で、ここでは代数(Algebra)の双対(Dual)という意味で余代数と呼ばれています。 さてHaskellやOCamlのデータ型は一般に代数的データ型(Algebraic data type)と呼ばれます。このデータ型にパターンマッチングを加えて、（オブジェクト指向言語などと比較したときの）関数型言語の特徴と紹介されることも多いと思います。実はこのデータ型にはもともと余データ(Codata)と呼ばれるような相方がいたのですが、人類が扱うには早すぎたのか、データ型に比べると余データは長らく影の存在でありました（ちなみに余データは口語上はコデータと呼ぶかも

[shunkeen]

余再帰を知ってから、再帰的なファイルの列挙とか、ゲーム木の探索がしっくりくるようになった＞“再帰処理を通常の再帰(recursion)と対比して区別したいときは余再帰(co-recursion)と呼ぶことがあります”