<tex>\operatorname{id}\ 2 \equiv 2</tex>. Аналогично, <tex>\operatorname{id}\ y \equiv y</tex>.
Ещё один пример функцииКак еще примеры: <tex>\operatorname{sum} = \lambda x\ .\ \lambda y\ .\ x + y</tex>- работает как if(true) (будет возвращать только первый аргумент). Эта функция двух аргументов,которая возвращает их сумму. Правда, здесь мы немного вышли за написанную выше грамматику.Ну да ладно. <tex>\operatorname{sum}\ 2\ 3 \equiv 5</tex>
Иногда <tex>\lambda</tex> -термы пишут по другому. Для краткости подряд идущие лямбды заменяют на одну. Например:
