Сравните:
f(x) = 10x² + 4x + 3
f = λx.10x² + 4x + 3
Выражение 10x² + 4x + 3 имеет тип R (вещественное число).
Выражение λx.10x² + 4x + 3 имеет тип функции [R→R]. Причём может использоваться само по себе — как безымянная функция (неименованная, анонимная).
Применение (вызов) функции f(5) или
(λx.10x² + 4x + 3) 5
↓
10 * 5² + 4 * 5 + 3 = 250 + 20 + 3 = 273