Anonyme Funktionen

• Syntax:

  v₁,…, v_n sind formale Parameter, B ein Ausdruck

  • Mathematik: λv₁…v_n.B
  • Haskell: \ v1 .. vn -> B
  • C#: (v1, .., vn) => B

• Semantik:     Funktion auf Argumente anwenden: x (λv₁…v_n.B)A₁…A_n

  in B wird jedes v_i durch (Wert von) A_i ersetzt.
  (Genaueres dazu später im Compilerbau.)

• Beispiele:
  • (λfxy.fyx) (λab.a - b) 1 2
  • (λfx.f (fx)) (λa.a + 1) 0