Fixed point combinator

Набрел тут на http://en.wikipedia.org/wiki/Fixed_point_combinator

Обнаружилась там та самая штука, которая изображена на юзерпике и mauhuur (он, кстати, восстанавливаться собирается?..). Кому интересно, может почитать объяснение (про лямбда-исчисление и прочую высшую математику). С функциональными языками ассоциации у меня были не зря :) хотя до них тут конечно далеко, области разные.

( Лучше читать текст статьи по ссылке выше, потому что там кросс-линки по терминам есть )