От: | thesz | http://thesz.livejournal.com | |
Дата: | 04.06.09 14:49 | ||
Оценка: | 23 (3) |
Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.
От: | nikov | http://www.linkedin.com/in/nikov | |
Дата: | 04.06.09 15:08 | ||
Оценка: |
T>По-моему, в этой цитате прекрасно всё. ;)Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.
Hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as 'unfolding') and a catamorphism (which then folds these results into a final return value). Fusion of these two recursive computations into a single recursive pattern then avoids building the intermediate data structure.
Anamorphism is a generalization of the list-producing unfolds known from functional programming to arbitrary abstract data types that can be described as final coalgebras. Unfolds are the co-recursive analogues of recursive folds. In category theory, anamorphisms are the categorical dual of catamorphisms.
Catamorphism is a generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.
От: | Lloyd | ||
Дата: | 05.06.09 00:23 | ||
Оценка: | 9 (1) |
Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.
тупой; незаострённый; без кончика; бессмысленный; бесцельный; неостроумный; плоский; с неоткрытым счётом
От: | Mirrorer | ||
Дата: | 05.06.09 14:51 | ||
Оценка: |