Лисп/Введение: различия между версиями

(append (qsort (car part)) (cons (car A) (qsort (cadrcar (cdr part))))))))</source>

Отсюда полностью видны синтаксические правила Лиспа и понятие [[#Синтаксис|''формы'' (о них подробнее — [[#Синтаксис|ниже]]). ИСмысл хотяже синтаксиспрограммы тотсоставлен очень прост, весьма удобным будет применение среды разработки, уважающей твёрдые традиции форматирования Лисп-кода. Читайте приложение {{ССЫЛКА|/Рабочая среда}}.так:

;<code>distillLIST</code>:ПроизвольноеЭто имяфункция, функциивозвращающая список, берущейсоставленный произвольныйиз списокпереданных <code>A</code>ей иэлементов. затемВ выдающийданном списокслучае (операторэто <code>LIST</code>)два изопять-таки двух списковсписка: в первом идут элементы исходного списка<var>A</var>, будучи переданные (произвольной) функции <code>f</code> возвращающие <code>nil</code> («пустота»); во втором списке— прочие элементы исходного списка;. вВ иных отношениях последовательность элементов не нарушается. Функции, перебирающие элементы — это:

;<code>REMOVE-IF-NOT</code>:(«убрать, если элементы не удовлетворяют функции-предикату») и

{{info|Заметим сразу, что эту, определёную нами функцию <code>splitdistill</code> можно было бы и не определять под собственным именем, ибо её вызов в qsort единственен. Но мы всё же выделяем её, ибо её гибкая функциональность может быть полезна в иных задачах, нежели один только <code>qsort</code>. Ах, да:}}

;<code>qsort</code>: Традиционное имя для процедуры, реализующий [[w:Быстрая сортировка|алгоритм «быстрой сортировки» Хоара]].<ref>Для введения в алгоритмы упорядочения читайте статью в «Потенциале»: [[Алгоритмы сортировки]].</ref> Именно этот алгоритм мы здесь, поспешно и оттого довольно небрежно, реализуем для примера. <ref>В свою очередь, такой выбор алгоритма — традиционный для вводных курсов в [[:Категория:Функциональное программирование|функциональное программирование]].</ref>

;<code>LET</code>: Напомнит многим об операторе присваивания в языке Бейсик (заимствованном, в конечном счёте, из Лиспа.) Важно заметить, что последующий затем отступ <small>(традиционный, в два пробела)</small> выделяет те вычисления, что помещены в '''''лексическую область видимости''''' ('''''контекст'''''), определённую оператором LET. Этой областью обладает лишь одна переменная — <code>part</code>:

;<code>part</code>: Произвольное имя вспомогательной (идеально локальной, см. предыдущееибо <code>LET</code>) переменной, которой присваивается список, — итог «дистилляции» (<code>distill</code>) «обезглавленного» (<code>CDR</code>) списка <var>A</var>; причём критерием (функцией <var>f</var> в <code>distill</code>) служит анонимная функция (определённая через оператор <code>LAMBDA</code>), сравнивающая переданный ей единственный параметр <code>x</code> на предмет его бытия меньше головы (<code>CAR</code>) списка <var>A</var>.

[[Категория:Лисп| ]]