F -終余代数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/11/23 10:19 UTC 版)
双対的な方法で、同様の関係が最大不動点とF-終余代数の間に存在する。これらは強正規化性を維持しながら、可能無限個のオブジェクトを扱うことを可能にする。 強正規化を行うプログラミング言語Charityの、余帰納的データ型は驚くべき結果を得ることが出来る。 例えば、アッカーマン関数のような"強い"関数を実装するために参照の構成要素を定義する。
※この「F -終余代数」の解説は、「F代数」の解説の一部です。
「F -終余代数」を含む「F代数」の記事については、「F代数」の概要を参照ください。
- F-終余代数のページへのリンク