Лямбда – выражение | MetodPro.ru

Реклама на сайте

Лямбда – выражение


Задает безымянную функцию.

<лямбда выражение>:: ‘(‘ LAMBDA <список параметров> < s-выражения> ‘)’ последнее s-выражения  - это тело функции.

 

Блок локальных определений.

Представляет собой список из n+2 элементов, где на первом месте стоит служебное слово let, на втором имя вычисляемой функции (s-выражения), далее n пар (двухэлементных списков). Пара  - это двухэлементный список, на первом месте которого стоит локальная переменная, на втором s-выражения, соответствующие значению этой локальной переменной.

(let (add x y)

     (x (quote 4))

     (y(car(quote(6 3 (7 8)))))

)

 

Блок рекурсивных определений letrec, по своему синтаксису полностью соответствует блоку let, только на втором месте записывается имя функции пользователя.

Пример: вычисление длины списка.

(letrec dlin

( dlin  (lambda (x)

         (cond (equal x (quote ()))

                   (quote 0)

                   (add (quote 1) (dlin (CDR x)))

))

))



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем