翻訳と辞書 |
Paramorphism : ウィキペディア英語版 | Paramorphism
A paramorphism (from Greek ''παρά'', meaning "close together") is an extension of the concept of catamorphism first introduced by Lambert Meertens to deal with a form which “eats its argument and keeps it too”,〔Philip Wadler.''Views: A way for pattern matching to cohabit with data abstraction.'' Technical Report 34, Programming Methodology Group, University of Göteburg and Chalmers University of Technology, March 1987.〕 as exemplified by the factorial function. Its categorical dual is the apomorphism. ==See also==
*Anamorphism *Apomorphism *Catamorphism *Hylomorphism * Morphism
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Paramorphism」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|