Équation co-récursive:
suite n = ls where ls = n : zipWith (+) uns ls
L'expression suite 3
est la liste suivante:
ls ≡ 3 : ([1, 1, 1,...] + ls)
Notons la queue de la liste, la somme, par :
\(x\ y\ z\ v\ w\ \cdots\). Alors:
$$
\begin{matrix}
\ & 1 & 1 & 1 & 1 & 1 & \cdots \cr
+ & 3 & x & y & z & v & \cdots \cr
\hline
3 & x & y & z & v & w & \cdots \cr
\end{matrix}
$$
Et séquentiellement on obtient toutes les valeurs. \(x\) vaut 4, etc.