翻訳と辞書 |
Anamorphism
In category theory, the concept of anamorphism ("ana" from the Greek = upwards; "morphism" from the Greek = form, shape) denotes a morphism from a coalgebra to the final coalgebra for that endofunctor. These objects have been applied to functional programming as ''unfolds''. The categorical dual of the anamorphism is the catamorphism. == Anamorphisms in functional programming ==
In functional programming, an anamorphism is a generalization of the concept of ''unfolds'' on lists. Formally, anamorphisms are generic functions that can corecursively construct a result of a certain type and which is parameterized by functions that determine the next single step of the construction.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Anamorphism」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|