Anwendungen

• Übersetzung von λ nach CL

  entspricht Closure-Conversion und Lifting (beides, gleichzeitig)

• CL: feste Menge (Basis) von Kombinatoren,

  CC+L: Kombinatoren hängen vom Programmtext ab

• CL als Programmiersprache: http://www.madore.org/~david/programs/unlambda/

Bsp: Berechnung von Fibonacci-Zahlen in Unlambda:

```s``s``sii`ki `k.*``s``s`ks
 ``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk
  `k``s`ksk