В лекции будет рассказано о двух синтаксических формах языка Lisp — M-выражениях и S-выражениях. Будет введена функция репрезентации и показано, как M-выражения представимы S-выражениями, а последние двоичными деревьями. Будет разъяснено различие между объектами и значениями, интерпретацией и функцией репрезентации, call-by-name и call-by-value. Будет рассказано о утиных и интенциональных типах.

Слушателям рекомендуется заранее скачать и ознакомиться со средой CLISP.

Литература

[1] John R. Allen. Anatomy of LISP Chaper 1 Symbolic Expressions.

[2] J. MacLennan. Values and objects in programming languages

[3] Kent M. Pitman The Best of Intentions / EQUAL Rights--and Wrongs--in Lisp (единственный источник обращающий внимание на феномен интенциональных типов).