Mehr syntaktischer Zucker

Zusammenfassung

Die Gemeinschaft der funktionalen Programmierer ist ganz wild auf alles, was die Mathematik an Eleganz der Notation zu bieten hat. Aus diesem Grund ist zum Beispiel — wie wir schon früher diskutiert haben — die gleichungsorientierte Notation

$${\text{DEFfac}}({\text{n}}) = = {\text{IFn}} = 0{\text{THEN}} \ldots {\text{FI}}$$

wesentlich beliebter als die (ansonsten gleichwertige) λ-Notation

$$\text{DEF}\thinspace\text{fac} == \lambda\text{n}.\thinspace\text{IF}\thinspace\text{n}=0\thinspace\text{THEN}\dotso\text{FI}$$