Lisp8

Внутреннее представление списков. Применяющие функционалы . Лекция 8

[object Object],[object Object],[object Object],[object Object]

Внутреннее представление списков

Структура памяти ,[object Object],[object Object],[object Object]

Представление списков через списочную ячейку

Представление списков через точечные пары ,[object Object],[object Object],[object Object],[object Object]

Списочная ячейка и базовые функции ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Списочная ячейка и базовые функции ,[object Object]

Переменные и списки ,[object Object],[object Object],[object Object],[object Object]

Переменные и списки ,[object Object],[object Object],[object Object]

Равенство списков ,[object Object],[object Object],[object Object],[object Object]

Пример ,[object Object],[object Object],[object Object],* (equal lis1 lis2) t * (equal lis1 lis3) t * (eql lis1 lis2) nil * (eql lis1 lis3) t * (eq lis1 lis2) nil * (eq lis1 lis3) t * (setq m 'abc) * (setq n 'abc) * (eq m n) t Для отдельного атома принцип не выполняется, т.е. новые ячейки не отводятся.

Cборка мусора ,[object Object],[object Object],[object Object],[object Object]

Обработка списков без разрушения. Append

Обработка списков без разрушения. Append. ,[object Object],[object Object],[object Object],[object Object]

Структура при APPEND Append создает копии всех списочных ячеек для каждого элемента во всех аргументах, исключая последний. C ons создает только одну списочную ячейку.

Разрушающие функции

Разрушающие функции Функции, которые изменяют содержимое указателей вместо создания новых списочных ячеек, называют разрушающими . (т.к. указатель заменяется и исходная структура разрушается)

NCONC ,[object Object],[object Object],[object Object],[object Object]

RPLACA, RPLACD ,[object Object],[object Object],[object Object],[object Object]

Механизм действия ,[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Механизм действия Через setf (rplaca x y) <=> (setf (car x) y) (rplacd x y) <=> (setf (cdr x) y)

Пример ,[object Object],[object Object],[object Object],[object Object]

Использование разрушающих функций ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Применяющие функционалы

Применяющие функционалы применяют функциональный аргумент к своим параметрам. APPLY FUNCALL Применяющие функционалы вычисляют значение функции. (В этом смысле они аналогичны функции EVAL , вычисляющей значение выражения. )

Пример 1 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Пример 2 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Cочетание apply, nconc, mapcar – mapcan ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Cочетание apply, nconc, mapcar – mapcan ,[object Object],[object Object],[object Object]

Cочетание apply, nconc, mapcar – mapcan ,[object Object],[object Object],[object Object],[object Object]

Функционал FUNCALL ,[object Object],[object Object],[object Object],* (funcall '+ 1 2) <=> * (+ 1 2) 3 * (funcall (car '(+ - / *)) 1 2) 3

Пример ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Блокировка функции ,[object Object],[object Object],[object Object],[object Object],[object Object]

Замыкание ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Блокировки вычисления ,[object Object],[object Object]

Спасибо за внимание! ,[object Object]

Lisp8

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (6)

Similar to Lisp8

Similar to Lisp8 (20)

Lisp8