Haskellと余代数(Coalgebra) - 朝日ネット 技術者ブログ
https://techblog.asahi-net.co.jp/entry/2022/03/14/143648
朝日ネット 技術者ブログHaskellと余代数(Coalgebra) - 朝日ネット 技術者ブログここではHaskellの中級者向けのトピックを簡単に取り上げたいと思います。 今回は余代数(Coalgebra)についてです。Haskellを書いていると『余（なんとか）』という言葉をみかけることがあります。これは英語の接頭辞 Co- の訳で、ここでは代数(Algebra)の双対(Dual)という意味で余代数と呼ばれています。 さてHaskellやOCamlのデータ型は一般に代数的データ型(Algebraic data type)と呼ばれます。このデータ型にパターンマッチングを加えて、（オブジェクト指向言語などと比較したときの）関数型言語の特徴と紹介されることも多いと思います。実はこのデータ型…