http://wiki.di.uminho.pt/twiki/bin/view/Personal/Alcino/PointlessHaskell

Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.

По-моему, в этой цитате прекрасно всё.

Здравствуйте, thesz, Вы писали:

T>

Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.

T>По-моему, в этой цитате прекрасно всё. ;)

Ну, и если кто-то случайно забыл, что такое хиломорфизм:

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.

Здравствуйте, thesz, Вы писали:

T>

Pointless Haskell is library for point-free programming with recursion patterns defined as hylomorphisms.

T>По-моему, в этой цитате прекрасно всё.

Ну, и если кто-то случайно забыл, что такое Pointless:

тупой; незаострённый; без кончика; бессмысленный; бесцельный; неостроумный; плоский; с неоткрытым счётом

Здравствуйте, nikov, Вы писали:

N>Ну, и если кто-то случайно забыл, что такое хиломорфизм:
Буду нудеть. Иломорфизм. в статье с банановой проволокой давалось греческое написание. Илос.


А вообще иломорфизм это

"Чтоб душа развернулась, а потом обратно свернулась" (с)