The Origami style is based around the idea that datatypes are fixpoints of shape functors.
(сегодняшний LtU)

Про всё заявленное в теме не напишу, а про это - напишу :)

Общеизвестное :)
Обычная рекурсия

fac n = if n == 0
then 1
else n * fac (n-1)

может быть выражена через комбинатор неподвижной точки fix:

-- нерекурсивный ( Read more... )