Русский язык программирования Ади́на
Документация основана на The Racket Guide.
| #lang 1 | package: russian-lang |
Это руководство описывает русскоязычный язык программирования, основанный на идеях из расширения синтаксиса Scheme readable.
Название Ади́на взято из названия симпатичного кустарника и похоже на название цифры 1. Поэтому в дальнейшем для идентификации имени языка и расширения файлов на этом языке используется эта цифра. Использование кириллического имени не поддерживается в Racket, а использование иностранных слов неудобно, если вся остальная программа на русском.
Семантика языка на данный момент полностью унаследована от Racket, обеспечивая полную совместимость: из этого языка можно вызывать любые функции и синтаксические конструкции Racket, а из Racket можно вызывать модули Адины.
Для установки скачайте дистрибутив Racket с сайта. Затем запустите DrRacket, в меню Файл выберите "Install Package..." и в открывшемся окне введите "russian-lang".
Для включения синтаксиса данного языка просто укажите в модуле Racket в первой строке
#lang 1
или
#!1
Второй вариант рекомендуется при использовании русского языка для написания программы.
english()
Тогда доступны все команды Racket, но по-прежнему работают отступы и операторы.
1 Основы языка
Программа состоит из команд. Команда может быть вызовом функции, синтаксической конструкцией или определением переменной. Первая строка в программе определяет используемый язык программирования и является строкой #!1.
Комментарий начинается с литер --. и заканчивается концом строки.
1.1 Простые значения
Значения языка программирования включают числа, логические значения, строки и массивы байтов. В DrRacket и документации они выделены зелёным цветом.
10 2.5 1/3 10200000000000.0 5+6i 12345678123456781234567812345678
Бесконечные целые и простые дроби позволяют выполнять арифметические операции без потери точности и риска переполнения. Числа с десятичной точкой или экспонентой являются вещественными числами двойной точности и хранят только 15-17 литер.
Логические значения — это истина и ложь. При проверках в логических операциях любое значение, не равное ложь трактуется как истина.
Строковые значения записываются между двойными кавычками. Для записи кавычек используется
последовательность литер \", для записи литеры \ —
"Привет!" "Автомобиль \"Москвич\"" "你好"
Второй вариант ввода строковых значений —
Когда константа выводится в окне интерпретатора, как правило, она имеет тот же вид, в котором она была введена, но иногда при выводе происходит нормализация. В окне интерпретатора и в документации результат вычислений выводится синим, а не зелёным, чтобы было видно, где результат, а где введённое значение.
> 1.0000 1.0
> "\u0022ok\u0022" "\"ok\""
> «Язык «Адина»» "Язык «Адина»"
> «Кавычка \«» "Кавычка «"
> «Кавычки " можно писать как есть» "Кавычки \" можно писать как есть"
1.2 Выражения
Выражение —
Выражения записываются в виде последовательности слов, разделённых пробельными литерами.
После любого элемента строки можно следующие элементы писать по одному на строке. Отступ этих элементов должен быть больше отступа текущей строки и одинаков. Если элемент состоит из одного слова, он является значением, если же из нескольких, то командой, результат которой будет значением элемента.
Если строка очень длинная, то можно перед переносом вставить литеру \, тогда перенос не будет нести синтаксического смысла.
Выбор способа написания определяется удобством чтения. При вводе в окно интерпретатора ввод заканчивается после пустой строки, так как до этого возможно продолжение команды.
Некоторые слова являются операторами. Оператором является слово, состоящее только из литер !#$%&⋆+./<=>?@^~:*-, которые называются операторными литерами. Исключения: слова . и ... операторами не являются. Также оператором является любое слово, которое начинается и заканчивается на ^. Примеры операторов: +, -, ^пара^.
Если оператор встречается в команде и не является первым словом, то из выражений до оператора
будет собрано одно выражение, а из выражений после —
Если оператор начинается и заканчивается на ^ и между ними есть литеры кроме операторных, то он вызывает функцию по имени между ^ со своими аргументами. Например, (2 ^пара^ 3) то же самое, что (пара 2 3). Таким образом можно любую двухаргументную функцию использовать как оператор.
Если в строке несколько операторов, то порядок их применения определяется приоритетами. Например, (2 + 2 * 2) будет равно 6, как и должно с точки зрения приоритетов арифметических операторов: на первом шаге преобразуется в (+ 2 (2 * 2)), затем в (+ 2 (* 2 2)), и затем вычислится как (+ 2 4) = 6.
1.3 Основы определений
При описании синтаксиса «...» обозначает, что предыдущий элемент может повторяться 0 и более раз,
«...+» —
(<идентификатор> = <выражение>)
Команда внутри функции может также являться определением. В этом случае связывание видно только внутри функции.
При разборе определения функции есть исключение синтаксиса: в этом случае оператор = объединяет слова в команду только с левой стороны, иначе в функции могла бы быть только одна команда. Поэтому даже если функция состоит из одной команды, она обязательно должна быть выделена или скобками или переносом.
И, на самом деле, определение функции, так же, как и определение не функции, всего лишь связывает идентификатор с значением, и этот идентификатор можно тоже использовать как выражение.
> кусок #<функция:кусок>
> подстрока #<функция:подстрока>
1.4 Идентификаторы
Синтакисис для идентификаторов максимально свободный. В них могут быть использованы любые литеры кроме пробелов, скобок, кавычек, апострофов, точки с запятой, запятой, решётки, вертикальной черты и обратной косой черты. Если очень надо, запретную литеру можно экранировать обратной косой чертой. Более того, можно вводить идентификатор между вертикальным чертами, тогда допустимы вообще любые литеры кроме вертикальной черты.
1.5 Вызовы функций
(<имя> <выражение> ...)
Разумеется, при записи с начала строки скобки можно опустить.
Язык Адина предопределяет множество функций, таких как подстрока и добавить-строки. Ниже будут ещё примеры.
В коде примеров в документации использования предопределённых имён оформлены ссылками на документацию. Таким образом можно просто щёлкнуть по имени функции и получить полную информацию о её использовании.
> добавить-строки "рос" "сель" "торг" -- добавить строки "россельторг"
> подстрока "паровоз" 0 3 -- извлечь подстроку "пар"
> строка? "это строка" -- распознать строку истина
> строка? 42 ложь
> корень 16 -- вычислить квадратный корень 4
> корень -16 0+4i
> + 1 2 -- сложить 3
> - 2 2 -- вычесть 1
> < 2 2 -- сравнить ложь
> >= 2 2 истина
> число? "это не число" -- распознать число ложь
> число? 1 истина
> == 6 "шесть" -- сравнить что угодно ложь
> == 6 6 истина
> == "шесть" "шесть" истина
Если функция является оператором, то её можно писать вторым словом.
1.6 Условные конструкции с если и операторами ?, && и ||
(? <выражение-условия> <выражение-если-истина> <выражение-если-ложь>)
Первое выражение вычисляется всегда. Если его результат равен ложь, тогда условное выражение вычисляет выражение-если-ложь и возвращает его резулоьтат. Если же результат любой другой, то вычисляется и возвращается выражение-если-истина. Обратите внимание, что оба выражения (на истину и ложь) обязательны.
Оператор ? имеет три аргумента и поэтому обрабатывается особым образом. Слова слева от него объединяются в одно выражение, а слова справа остаются как есть, так же, как в определении функции.
ответ запрос =
строка-начинается-с? запрос "Привет" ? "Привет!" "Чего?"> ответ "Приветствую, Адина!" "Привет!"
> ответ "λx:(μα.α→α).xx" "Чего?"
В случае, если при выполнении условия необходимо не только вернуть результат, но и выполнить какие-либо действия, есть вариант синтаксиса с ключевыми словами:
(если <выражение-условия> ... тогда <выражения-если-истина> ... иначе <выражения-если-ложь> ...) (если <выражение-условия> ... тогда <выражения-если-истина> ...)
Выражение условия может состоять из нескольких слов: всё, что находится между ключевыми словами «если» и «тогда» объединяется в одно выражение. После «тогда» и после «иначе» может быть несколько выражений. Так же, как в функции, они вычисляются все и возвращают значение последнего выражения. Вариант без «иначе», как правило, используется, когда результат выражения не нужен, а нужны только побочные эффекты.
ответ запрос =
если строка-начинается-с? запрос "Привет" тогда
"Привет!"
иначе
"Чего?"
Обратите внимание, что «иначе» не имеет отступа относительно команд до и после него, как встречается в других языках программирования.
Сложные условия могут формироваться путём вложения условных выражений. Например, в предыдущем примере в ответ должна передаваться строка, так как подстрока завершится с ошибкой, если ей передать не строку. Можно убрать это ограничение, добавив ещё одну проверку:
ответ-на-что-угодно запрос =
строка? запрос ?
строка-начинается-с? запрос "Привет" ?
"Привет!"
"Чего?"
"Чего?"
Вместо того, чтобы дублировать ветку «Чего?», лучше записать эту функцию как:
ответ-на-что-угодно запрос =
?
строка? запрос ?
строка-начинается-с? запрос "Привет"
ложь
"Привет!"
"Чего?"
Но такие вложенные условия сложно читать. Адина предоставляет удобочитаемые короткие формы:
(&& <выражение>*) (|| <выражение>*)
Форма && выполняет выражения-аргументы. Если текущее выражение возвращает ложь, то остальные выражения не вычисляются. Возвращается результат последнего вычисленного выражения. Такой способ вычисления называется вычислением по короткой схеме.
Форма || аналогично выполняет выражения пока они возвращают ложь.
Также обратите внимание, что эти обе формы являются операторами, поэтому если выражений всего два, то можно ставить оператор между выражениями. Приоритет && выше, чем приоритет ||.
ответ-на-что-угодно запрос =
строка? запрос && строка-начинается-с? запрос "Привет" ?
"Привет!"
"Чего?"> ответ-на-что-угодно "Приветствую, Адина!" "Привет!"
> ответ-на-что-угодно 17 "Чего?"
Обратите внимание, что здесь в одном выражении есть операторы && и ?. Так как приоритет оператора && выше, то сначала группируется всё выражение слева от ?, а потом уже результат сравнения используется как условие.
ответ-на-восклицание запрос =
?
&&
строка? запрос
строка-начинается-с? запрос "Привет"
строка-заканчивается-на? запрос "!"
"Привет!"
"Чего?"> ответ-на-восклицание "Приветствую, Адина!" "Привет!"
> ответ-на-восклицание "Приветствую." "Чего?"
То же самое можно сделать в операторном стиле:
ответ-на-восклицание запрос =
строка? запрос && строка-начинается-с? запрос "Привет" \
&& строка-заканчивается-на? запрос "!" ?
"Привет!"
"Чего?"
Как видно, пришлось сделать перенос строки, чтобы она была не слишком длинной. Выбирайте ту синтаксическую конструкцию, которую потом будет легче читать.
Часто вложенные условия используются для проверки последовательности условий, каждое из которых возвращает свой результат:
больше-ответов запрос =
строка-начинается-с? запрос "Привет" ?
"Привет!"
строка-начинается-с? запрос "Пока" ?
"Пока!"
строка-заканчивается-на? запрос "?" ?
"Я не знаю."
"Чего?"
Короткая форма записи для последовательности проверок если без «тогда».
(если (<выражение> <команда> ... <выражение>) ...)
В этом варианте синтаксиса тело формы если состоит из последовательности правил. Каждое правило состоит из выражения и последовательности команд. Если выражение истинно (не равно ложь), то выполняется последовательность команд и возвращается результат последнего выражения. Если ложно, то аналогично обрабатывается следующее правило. В последнем правиле можно писать «иначе» вместо истина. Если команды вводят определения, то они видны только внутри правила.
Таким образом можно переписать функцию больше-ответов как:
больше-ответов запрос =
если
строка-начинается-с?(запрос "Привет") "Привет!"
строка-начинается-с?(запрос "Пока") "Пока!"
строка-заканчивается-на?(запрос "?") "Я не знаю."
иначе "Чего?"> больше-ответов "Приветствую!" "Привет!"
> больше-ответов "Пока, Адина." "Пока!"
> ответ-на-восклицание "Какой твой любимый цвет?" "Я не знаю."
> больше-ответов "Мой зелёный." "Чего?"
Обратите внимание, что условное выражение обязательно должно быть одним элементом. То есть оно либо должно быть одним словом, либо вызовом функции со скобками как в этом примере, либо просто взято в скобки. Кроме того, обязателен отступ после каждого условия или «иначе».
ответ-на-восклицание запрос =
если
;
&&
строка? запрос
строка-начинается-с? запрос "Привет"
строка-заканчивается-на? запрос "!"
"Привет!"
иначе
"Чего?"
1.7 Вызовы функций, снова
Предыдущий пример грамматики для вызова функций мы чрезмерно упростили. На самом деле вместо имени функции можно использовать произвольное выражение
(<выражение> <выражение> ...)
удвоить п =
(строка? п ? добавить-строки +) п п> удвоить "бла" "блабла"
> удвоить 5 10
удвоить п =
;
строка? п ? добавить-строки +
п; п
Также не забывайте, что если используете оператор в качестве значения и он не на первом и не на последнем месте в выражении, то его надо писать в виде (. +).
Синтаксически, первый элемент списка может быть любым значением, но при выполнении будет ошибка:
> 1 2 3 4 вызов функции: ожидалась функция, которую можно применить к аргументам получено: 1
Если Вы случайно пропустите имя функции или поставите лишние скобки вокруг выражения, то чаще всего будете получать ошибку «ожидалась функция» как в примере выше.
1.8 Безымянные функции
Здесь ф $ ф п является бесскобочным вариантом ф (ф п). Если скобка заканчивается с концом команды, то вместо открывающей скобки можно поставить разделитель «$» и убрать закрывающую.
Если в функцию дважды надо передать ещё не определённую функцию, то её придётся сначала определить, а потом передать в дважды.
> громче строка =
строка ++ "!"> дважды громче "Привет" "Привет!!"
Но если вызов дважды —
(функция (<идентификатор> ...) <команда> ... <выражение>)
Короткий вариант —
Приоритет ==> выше, чем у =, поэтому громче = строка ==> строка ++ "!" связывает имя с новой функцией.
> дважды
функция (строка) $ строка ++ "!"
"Привет""Привет!!"
> дважды
строка ==> строка ++ "?!"
"Привет""Привет?!?!"
Другое применение выражения функция и оператора ==> —
> добавлятель-суффикса строка2 =
функция (строка) $ строка ++ строка2> дважды добавлятель-суффикса("!") "Привет" "Привет!!"
> дважды добавлятель-суффикса("?!") "Привет" "Привет?!?!"
> дважды добавлятель-суффикса("...") "Привет" "Привет......"
Адина —
> громче = добавлятель-суффикса "!" > неувереннее = добавлятель-суффикса "?" > дважды неувереннее "действительно" "действительно??"
> дважды громче "действительно" "действительно!!"
Когда используется определение в форме <идентификатор> = <выражение>, то также можно определить функцию. Эти определения эквивалентны:
> громче строка =
строка ++ "!"> громче = функция (строка)
строка ++ "!"> громче = строка ==> строка ++ "!" > громче #<функция:громче>
Обратите внимание, что несмотря на то, что во втором случае используется безымянная функция, компилятор всё равно выводит имя функции, чтобы сделать печать и сообщения об ошибках максимально информативными.
Также можно и добавлятель-суффикса написать без использования формы функция.
> добавлятель-суффикса(строка2)(строка) = $ строка ++ строка2
1.9 Локальное связывание внутри функций и через выражение пусть
Ещё раз обратим внимание на область видимости связей, которые определены внутри функций.
> преобразовать строка =
начинается? строка2 = -- видно только в функции «преобразовать»
строка2-с-пробелом = строка2 ++ " " -- видно только в функции «начинается?»
строка-начинается-с? строка строка2-с-пробелом
если
начинается?("Привет") "Привет!"
начинается?("Пока") "Пока!"
иначе "Чего?"> преобразовать "Привет, мир!" "Привет!"
> преобразовать "Приветствую, Земля!" "Чего?"
> преобразовать "Пока, друзья." "Пока!"
> преобразовать "Гы" "Чего?"
> начинается? -- вне функции «преобразовать», поэтому ... начинается?: не определено; не могу использовать идентификатор до его определения
Возвращяесь к предыдущей теме, приведу пример определения добавлятель-суффикса через локальную связь.
> добавлятель-суффикса строка2 =
результат строка =
строка ++ строка2
результат
Ещё один способ сделать ограниченную привязку —
(пусть ((<имя> <выражение>) ...) <команда> ... <выражение>)
Внутри этой формы после заголовка с парами имён и выражений значения выражений связываются с соответствующими им именами. Форму пусть можно использовать, если нужно ввести имена внутри выражения или если выражения в заголовке ссылаются на такие же имена вне формы пусть.
> а = 5 > пусть (а (а + 2); б (а - 1))
список а б'(7 4)
В выражениях (а + 2) и (а - 1) используется значение «а», установленное перед формой пусть.
1.10 Списки, их перебор и рекурсия
Адина семантически является диалектом языка Лисп. Поэтому в ней есть мощные встроенные средства работы со списками.
Функция список получает любое количество значений и возвращает список из этих значений.
> список "красный" "зелёный" "синий" '("красный" "зелёный" "синий")
> список 1 2 3 4 5 '(1 2 3 4 5)
Как можно видеть, при выводе список выводится как апостроф, после которого идёт открывающая скобка, значения в массиве, разделённые пробелами, и закрывающая скобка.
> длина $ список "раз" "два" "три" -- считаем элементы 3
> элемент-списка список("раз" "два" "три") 1 -- получаем элемент по номеру позиции "два"
> список("раз" "два" "три")[0] -- то же самое оператором "раз"
> добавить список("раз" "два") список("три") -- объединяем элементы '("раз" "два" "три")
> список "раз" "два" ++ список "три" -- то же самое оператором '("раз" "два" "три")
> подсписок "четыре" $ список "раз" "два" "три" -- проверяем наоичие элемента ложь
1.10.1 Предопределённые циклы по спискам
Кроме простых операций, таких как добавить, в Адине есть функции для обработки элементов списка. Действие для обработки должно быть функцией, поэтому здесь часто удобно применять выражение функция.
Разные функции обработки элементов по-разному комбинируют результаты обработки. Функция отобразить собирает результаты выполнения обработки в новый список То есть математически отображает обрабатываемый список на новый список.
> отобразить корень $ список 1 4 9 16 '(1 2 3 4)
> отобразить
функция (с) $ с ++ "!"
список "орехи" "печенье" "шоколад"'("орехи!" "печенье!" "шоколад!")
Функции отобразить/и и отобразить/или объединяют результаты через && и || соответственно.
> отобразить/и строка? $ список "а" "б" "в" истина
> отобразить/и строка? $ список "а" "б" 6 ложь
> отобразить/или число? $ список "а" "б" "в" истина
Функции отобразить, отобразить/и и отобразить/или также могут работать с несколькими списками параллельно. В этом случае списки должны иметь одинаковую длину, а функция должна принимать по аргументу из каждого списка:
> отобразить
функция (с ч) $ подстрока с 0 ч
список "орехи" "печенье" "шоколад"
список 4 6 3'("орех" "печень" "шок")
Функция отобрать оставляет только те элементы, для которых результат функции не равен ложь.
> отобрать строка? $ список "а" "б" 6 '("а" "б")
> отобрать
функция (ч) $ ч > 0
список 1 -2 6 7 0'(1 6 7)
Функция свернуть обобщает обработку списка. Она передаёт в функцию обработки элемент и текущее значение, поэтому ей требуется дополнительный аргумент. Начальное текущее значение должно быть передано перед списками.
> свернуть
функция (элемент текущее)
текущее + элемент * элемент
0
'(1 2 3)14
1.10.2 Обход списка вручную
Хотя отобразить и другие функции обхода списка предопределены, они не являются примитивами. Вы можете написать эквивалентный обход используя примитивы для работы со списками.
Так как в Адине список является односвязным списком, то базовыми операциями для непустого списка являются:
первый: получает первый элемент списка
оставшиеся: получает оставшиеся элемент списка
> первый $ список 1 2 3 1
> оставшиеся $ список 1 2 3 '(2 3)
Чтобы создать новый узел, то есть добавить элемент в голову списка, используйте функцию пара. Чтобы получить пустой список можно использовать константу пустой-список.
> пустой-список '()
> пара "голова" пустой-список '("голова")
> пара "белая" $ пара "голова" пустой-список '("белая" "голова")
Также для конструирования можно использовать операцию :. Эта операция имеет группировку справа, то есть а : б : в трактуется как а : (б : в). И если точка стоит в конце выражения, то она трактуется как пустой список:
Чтобы обработать список, надо иметь возможность отличать пустой список от непустого, потому что первый и оставшиеся работают только с непустыми списками. Функция пустой? выявляет пустые списки, а пара? непустые списки и пары, не являющиеся списками.
> пустой? пустой-список истина
> пустой? $ пара "голова" пустой-список ложь
> пара? пустой-список ложь
> пара? $ пара "голова" пустой-список истина
При помощи этих кусочков можно написать собственные варианты функций длина, отобразиить и аналогичных.
моя-длина сп =
пустой? сп ?
0
1 + моя-длина $ оставшиеся сп> моя-длина пустой-список 0
> моя-длина $ список "а" "б" "в" 3
моё-отобразить ф сп =
пустой? сп ?
пустой-список
ф первый(сп) : моё-отобразить ф $ оставшиеся сп> моё-отобразить прописные $ список "на старт" "внимание" "марш" '("НА СТАРТ" "ВНИМАНИЕ" "МАРШ")
Алгоритмы для списочных структур удобно описывать через рекурсию как в вышеприведённых примерах. При реализации алгоритма для списка длины Н предполагаем, что для списка длины Н-1 реализация уже есть и описываем всего два варианта результата: значение для Н = 0 и вычисление для всех остальных, используя описываемую функцию для хвоста списка.
1.10.3 Хвостовая рекурсия
И моя-длина и моё-отобразить при работе требуют место для хранения временных значений пропорционально длине обрабатываемого списка. Иначе говоря, использумая память О(n).
моя-длина $ список "а" "б" "в"
= 1 + моя-длина $ список "б" "в"
= 1 + (1 + моя-длина $ список "в")
= 1 + (1 + (1 + моя-длина пустой-список))
= 1 + (1 + (1 + 0))
= 1 + (1 + 1)
= 1 + 2
= 3
Для списка из n элементов вычисление будет запоминать операции сложения n раз и выполнять их только когда список закончится.
Чтобы избежать накопления операций надо, чтобы в рекурсивном вызове результатом был вызов функции с какими-то аргументами. Можно создать функцию, аргументами которой являются длина обработанной части и список из оставшихся элементов.
моя-длина сп =
-- локальная функция цикл
цикл сп н
пустой? сп ?
н
цикл
оставшиеся сп
1 + н
-- тело функции моя-длина - вызов функции цикл
цикл сп 0
Теперь вычисление будет выглядеть так:
моя-длина $ список "а" "б" "в"
= цикл список("а" "б" "в") 0
= цикл список("б" "в") 1
= цикл список("в") 2
= цикл пустой-список 3
= 3
Переделанная моя-длина использует постоянный объём памяти для списков любой длины, как видно из шагов выполнения. То есть когда результатом выполнения функции является результат вызова другой функции (или той же с другими аргументами), то не обязательно запоминать состояние вычисления и ждать результата от того другого вызова, можно сразу подменить вызов текущей функции.
Такое поведение при вычислении иногда называют «оптимизацией хвостовых вызовов», так как в более примитивных языках программирования каждый вызов всё равно тратит кадр памяти, даже если результат вызова сразу должен стать результатом вызывающей функции. Но на самом деле это не оптимизация, а гарантия того, как будут производиться вычисления. Если точнее, то выражение в хвостовой позиции всегда не требует дополнительного места.
В случае моё-отобразить место для результирующего списка и место для временных данных суммарно в любой момент времени пропорциональны длине исходного списка, поэтому смысла как-то переписывать нет.
1.10.4 Рекурсия против цикла
Вышеприведённые примеры показывают, что цикл —
В то же время, в Адине рекусрия не уменьшает производительность и в ней не бывает переполнения стека. Если вычисление требует сохранить слишком много контекста, можно исчерпать оперативную память, но памяти доступно намного больше, чем в других языках стека. Эти соображения в сочетании с тем фактом, что хвостовая рекурсия идентична циклу, позволяют программистам на Адине использовать рекурсивные алгоритмы, а не избегать их.
Предположим, что надо написать функцию, удаляющую последовательные дубли из списка. Хотя такую функцию можно написать в виде цикла, запоминая предыдущий элемент для каждой итерации, программист на Адине скорее реализует более естественный алгоритм:
удалить-повторы сп =
пустой? сп || пустой? оставшиеся(сп) ?
сп
первый сп == первый оставшиеся(сп) ?
удалить-повторы $ оставшиеся сп
первый сп : удалить-повторы $ оставшиеся сп> удалить-повторы $ список "а" "б" "б" "б" "в" "в" '("а" "б" "в")
В общем, эта функция использует память пропорционально длине обрабатываемого списка. Но это нормально, так как результат функции также пропорционален О(n). Но если обрабатываемый список состоит большей частью из повторов, то результат будет значительно меньше и функция удалить-повторы также будет использовать гораздо меньше памяти! Причина в том, что когда отбрасываются повторы, то происходит прямой вызов удалить-повторы и работает оптимизация хвостовых вызовов.
удалить-повторы $ список "а" "б" "б" "б" "б" "б"
= "а" : удалить-повторы $ список "б" "б" "б" "б" "б"
= "а" : удалить-повторы $ список "б" "б" "б" "б"
= "а" : удалить-повторы $ список "б" "б" "б"
= "а" : удалить-повторы $ список "б" "б"
= "а" : удалить-повторы $ список "б"
= "а" : список "б"
= список "а" "б"
1.11 Пары, списки и синтаксис Адины
Функция пара (и соответствующая операция «:») на самом деле принимает любые два аргумента, а не только список в качестве второго аргумента. Если второй аргумент на создан при помощи этой функции и не является пустым списком, то результат выводится особым образом. Два значения, объединённые при помощи функции пара выводятся в скобках как список, но с точкой между ними.
> пара 1 2 '(1 . 2)
> пара "мир" "дверь" '("мир" . "дверь")
То есть, значение возвращаемое функцией пара не всегда список. На самом деле это может быть произвольная пара. Функция оставшиеся в этом случае возвращает второй элемент пары.
> первый $ пара 1 2 1
> оставшиеся $ 1 : 2 2
> пара? пустой-список ложь
> пара? $ 1 : 2 истина
> пара? $ список 1 2 3 истина
Наверное, чаще всего такие пары встречаются, когда при построении списка программист путает аргументы местами:
> пара список(2 3) 1 '((2 3) . 1)
> пара 1 список(2 3) '(1 2 3)
Пары, не являющиеся списками, иногда используются намеренно.
Например, функция создать-соответствие использует список пар,
в которых первый элемент —
В целом, можно считать, что запись через точку используется всегда, но если после точки идёт пара, то тогда убирается точка и та пара сразу пишется через пробел. Таким образом, '(0 1 . 2) сокращается до '(0 1 . 2), а '(1 2 3) сокращается до '(1 2 3).
1.11.1 Буквальный вывод пар и символов формой буквально
Списки выводятся с апострофом перед ними, но если элемент списка тоже список, то апострофа перед ним нет.
> список список(1) список(2 3) список(4) '((1) (2 3) (4))
Форма буквально позволяет писать списки таким же образом
> буквально "красный" "зелёный" "синий" '("красный" "зелёный" "синий")
> буквально (1) (2 3) (4) '((1) (2 3) (4))
> буквально () '()
Эта форма также позволяет писать через точку:
> буквально 1 . 2 '(1 . 2)
> буквально 0 1 . 2 '(0 1 . 2)
> список список(1 2 3) 5 список("a" "b" "c") '((1 2 3) 5 ("a" "b" "c"))
> буквально (1 2 3) 5 ("a" "b" "c") '((1 2 3) 5 ("a" "b" "c"))
Если в форму буквально передать идентификатор, то будет выведено нечто, выглядящее как идентификатор с апострофом перед ним.
> буквально иван-иванович 'иван-иванович
Такое значение называется символ. Чтобы не путать с теми буквами и цифрами, из которых состоят строки и которые тоже иногда называют символами, содержимое строк будем называть только литерами.
Также не следует путать символы и идентификаторы. Символ 'отобразить не имеет отношения к идентификатору отобразить за исключением того, что они оба состоят из одинаковых литер.
Фактически, символ хранит только строку со своим именем. В этом смысле символы и строки отличаются только тем, как они выводятся. Функции символ->строка и строка->символ преобразуют их друг в друга.
> отобразить > буквально отобразить 'отобразить
> символ? $ буквально отобразить истина
> символ? отобразить ложь
> функция? отобразить истина
> строка->символ "отобразить" 'отобразить
> символ->строка $ буквально отобразить "отобразить"
Так же, как форма буквально для списков автоматически применяется для вложенных списков, также она автоматически применяется для идентификаторов в списках и возвращает соответствующие им символы.
> первый $ буквально (имя фамилия) 'имя
> символ? $ первый $ буквально (имя фамилия) истина
При выводе, когда символ внутри списка, который выводится с апострофом, апостроф перед символом не выводится, так как апостроф перед списком уже указывает, что все имена в списке являются символами.
> буквально (имя фамилия) '(имя фамилия)
1.11.2 Сокращение буквально до апострофа
Как уже возможно стало понятно, можно сократить форму буквально, просто ставя вместо неё апостроф.
> '(1 2 3) '(1 2 3)
> ' 1 2 3 '(1 2 3)
> 'имя 'имя
> '((1 2 3) имя ("а" "б" "в")) '((1 2 3) имя ("а" "б" "в"))
В документации апостроф с трактуемыми буквально значениями отображается зелёным цветом, чтобы показать, что это константа.
При выводе аналогично. Если печататель видит символ 'буквально как первый элемент двухэлементного списка, то он вместо этого печатает апостроф:
> буквально буквально имя '(буквально имя)
> '(буквально имя) '(буквально имя)
> ''имя '(буквально имя)
1.11.3 Списки и синтаксис Адины
Синтаксис Адины не определяется напрямую в терминах потоков литер. Вместо этого синтаксис определяется двумя слоями:
слой читателя, который превращает литеры в списки, символы и другие константы.
слой раскрывателя, который преобразовывает получившиеся списки и константы в выражения.
> + 1 . (2) 3
Это работает, так как «+ 1 . (2)» всего лишь другой метод для записи «+ 1 . 2».
Операторы также обрабатываются на стадии чтения с учётом приоритетов. Результат чтения можно увидеть при помощи буквально.
> буквально 2 + 2 * 2 '(+ 2 (* 2 2))
Это можно использовать, если есть сомнения в приоритете операторов или понимании сложной конструкции.
2 Встроенные типы данных
В предыдущей главе были рассмотрены некоторые встроенноые типы Адины: числа, логические, строки, списки и функции. Этот раздел предоставляет более полное описание встроенных типов для простых форм данных.
2.1 Логические выражения
В Адине есть две константы для представления логических (булевых) значений: истина и ложь. Функция булево? распознаёт эти две константы. Но при использовании в если, ?, &&, ||, ... любое значение кроме ложь трактуется как истинное.
2.2 Числа
Числа в Адине бывают точные и неточные.
- К точным числам относятся
целые числа любой длины, такие как 5, 99999999999999999 или -17;
рациональные числа, являющиеся дробью с целыми числителем и знаменателем, например, 1/2, 99999999999999999/2 или -3/4;
комплексные числа с точными вещественной и мнимой частью, такие как 1+2i или 1/2+3/4i.
- К неточным числам относятся
вещественные числа в формате IEEE, такие как 2.0 и 3.14e+87, где бесконечности и не числа записываются как +inf.0, -inf.0, +nan.0 и -nan.0;
комплексные числа с неточной вещественной или мнимой частью, такие как 2.0+3.0i или -inf.0+nan.0i.
Неточные числа выводятся с десятичной точкой или показателем экспоненты, а точные числа выводятся
как целые числа или простые дроби. Такое же соглашение используется при чтении, но если необходимо,
перед числом можно написать (латинскую) #e, тогда число будет прочитано как точное или
#i —
> 0.5 0.5
> #e0.5 1/2
> #x03BB 955
Вычисление, включающее неточные числа (кроме логических операций), возвращает неточный результат, так что неточность действует на числа в каком-то смысле как зараза. Процедуры точное->неточное и неточное->точное позволяют преобразовывать точные и неточные числа друг в друга.
> 0.5 0.5
> 1 / 2 1/2
> 1 / 2.0 0.5
> 3.0 == 2.999 ? 1 2 2
> неточное->точное 0.1 3602879701896397/36028797018963968
Вычисления с небольшими целыми числами производятся быстрее. Под небольшими подразумеваются числа, занимающие на несколько бит меньше, чем машинное представление знаковых чисел. Например, для 64-битной системы таковыми являются числа -1152921504606846976..1152921504606846975, но конкретные границы могут зависеть от используемой платформы. Для конкретного компьютера можно проверять при помощи функции небольшое-число?.
Вычисления с большими целыми числами или с точными нецелыми числами медленнее, чем вычисления с неточными числами.
сумма ф а б =
а == б ? 0
ф а + сумма ф (а + 1) б> замерить-время $ округлить $ сумма (функция (ч) $ 1.0 / ч) 1 2000
время процессора: 24 реальное: 12 сборки мусора: 0> замерить-время $ округлить $ сумма (функция (ч) $ 1 / ч) 1 2000
время процессора: 0 реальное: 0 сборки мусора: 0
Можно определить отношение числа к множествам целых, рациональных, вещественных и комплексных при помощи функций целое?, рациональное?, вещественное? и комплексное?. Некоторые математические функции работают только с вещественными числами, но большинство реализует стандартные расширения на комплексные числа.
> целое? 5 истина
> комплексное? 5 истина
> целое? 5.0 истина
> целое? 1+2i ложь
> комплексное? 1+2i истина
> комплексное? 1.0+2.0i истина
> абс -5 5
> абс -5+2i абс: нарушение контракта ожидалось: вещественное? получено: -5+2i > синус -5+2i 3.6076607742131563+1.0288031496599335i
Операторы === и == сравнивают числа с учётом того, точное ли число
Сравнение неточных чисел может приводить к неожиданным результатам. Даже достаточно простые неточные числа могут обозначать не то, что можно было бы подумать. Например, формат IEEE, будучи основанным на степенях двойки, может представить 1/2 точно, но 1/10 только приближённо.
> 1/2 >= 0.5 && 0.5 <= 1/2 истина
> 1/10 >= 0.1 ложь
> неточное->точное 0.1 3602879701896397/36028797018963968
2.3 Литеры
Литеры Адины соответствуют кодам Юникода. Код Юникода можно трактовать как беззнаковое целое число, которое можно отобразить в 21 бит и которое соответствует символу естественного языка или части символа. Технически, код является более простым понятием, чем то, что в стандарте Юникода называется символом, но его достаточно в большинстве случаев. Например, любую акцентированную латинскую букву, любую кириллическую букву или любой обычный китайский иероглиф можно представить в виде кода.
Несмотря на то, что каждая литера Адины соответствует числу, литеральный тип отделён от числового. Функции литера->число и число->литера позволяют преобразовывать целые числа и соответствующие литеры друг в друга.
Печатные литеры обычно выводятся как #\ и отображаемая литера. Непечатные обычно выводятся как #\u и код литеры в виде шестнадцатеричного числа. Некоторые литеры печатаются особым образом: например, пробел и перенос строки выводятся как #\пробел и #\перенос.
> число->литера 1025 #\Ё
> литера->число #\Ё 1025
> #\λ #\λ
> число->литера 17 #\u0011
> литера->число #\пробел 32
Функция вывести прямо пишет переданную литеру в текущий порт вывода, а не использует синтаксис для вывода литерных констант.
> #\Ё #\Ё
> вывести #\Ё "Ё"
2.4 Строки
Строка —
Функция вывести прямо пишет литеры строк, не используя синтаксис из предыдущего абзаца.
> "Пример" "Пример"
> "\u03BB" "λ"
> вывести "Пример"
Пример> вывести "Пример с \"кавычками\""
Пример с "кавычками"> вывести "две\nстроки"
две строки> вывести "\u03BB"
λ
Строка может быть изменяемой или неизменяемой. Строки, введённые в тексте программы, являются неизменяемыми. Строки, полученные из функций, обычно изменяемые. Функция новая-строка создаёт изменяемую строку заданной длины и, при необходимости, заполняет её указанной литерой. Функция элемент-строки получает литеру на указанной позиции (нумерация начинается с нуля). Функция установить-элемент-строки! изменяет литеру в изменяемой строке. Вместо последних двух функций можно использовать синтаксис с квадратными скобками.
> элемент-строки "Эльбрус" 0 #\Э
> "Эльбрус"[0] #\Э
> с = новая-строка 5 #\. > с "....."
> установить-элемент-строки! с 2 #\λ > с "..λ.."
> с[0] := #\ё #\ё
> с "ё.λ.."
Упорядочивание строк и операции с регистром литер обычно не зависят от региональных настроек пользователя, то есть они работают для всех пользователей одинаково. Но также предоставлены функции для смены регистра и упорядочивания в зависимости от местонахождения (региональных настроек) пользователя. Сортируйте строки при помощи строки-возрастают? или строки-возрастают?/без-регистра, чтобы результат был одинаков на всех компьютерах, но используйте строки-возрастают?/местные или строки-возрастают?/местные/без-регистра, если результат необходим исключительно для упорядочивания для конечного пользователя.
Например, в Unicode «Ё» раньше, чем «Б», а в русском алфавите, наоборот:
> строки-возрастают? "Ёж" "Белка" истина
> строки-возрастают?/местные "Ёж" "Белка" ложь
> параметризуя
$ текущее-место ложь
строки-возрастают?/местные "Ёж" "Белка"истина
Функция разделить-по-регулярному-выражению разбивает строку на части по вхождениям шаблона регулярного выражения. В качестве шаблона можно передать значение, полученное функцией регулярное-выражение, или литерал #rx"...".
> разделить-по-регулярному-выражению #rx"," "a,b,c" '("a" "b" "c")
Для работы с представлением строки в виде байтов нужно использовать байтовые строки.
2.5 Байты и байтовые строки
Байт —
Байтовая строка —
> #"Elbrus" #"Elbrus"
> элемент-байтов #"Elbrus" 0 69
> #"Elbrus"[0] 69
> новые-байты 3 65 #"AAA"
> а = новые-байты 2 > а #"\0\0"
> установить-элемент-байтов! а 0 1 > а[1] := #o377 255
> а #"\1\377"
Функция вывести выводит байтовую строку как поток байтов в порт вывода. Технически, вывод обычной (литерной) строки сводится к переводу строки в байты в кодировке UTF-8 и выводу полученных байтов в порт вывода, так как операционная система понимает вывод только в байтах.
Для явного преобразования между строками и байтами Адина поддерживает UTF-8 и местную кодировку операционной системы. Также есть функции для преобразования между произвольными кодировками.
> байты->строка #"\316\273" "λ"
> параметризуя
$ текущее-место "C"
байты->строка/местные #"\316\273"-- кодировка C понимает только байты от 0 по 127байты->строка/местные: строка байтов не является правильной в местной кодировке строка байтов: #"\316\273"
2.6 Символы
Символ —
> 'а 'а
> символ? 'а истина
Для любой последовательности литер существует только один символ. Вызов функции строка->символ или чтение идентификатора в тексте программы регистрирует символ, таким образом дальнейшее сравнение прочитанных символов работает очень быстро. Поэтому рекомендуется использовать символы для значений перечислений: строки долго сравниваются, а числа не очевидно, что обозначают.
> 'а === 'а истина
> 'а === строка->символ "а" истина
> 'а === 'б ложь
> 'а === 'А ложь
При вводе и выводе идентификаторов с символами
( ) [ ] { } " , ' ` ; # | \
может использоваться экранирование при помощи | и \.
> строка->символ "один, два" '|один, два|
> строка->символ "6" '|6|
Функция написать выводит символ без апострофа. Функция вывести выводит имя символа как строку.
Функция новый-символ создаёт новый, ничему другому не равный символ. Её можно использовать для генерации значений, которые не могут встретиться в переданных данных.
2.7 Ключевые слова
Ключевые слова похожи на символы и при вводе/выводе выглядят почти как символы из идентификаторов, начинающихся на #:.
> строка->ключевое-слово "тыква" '#:тыква
> '#:тыква '#:тыква
> '#:тыква === строка->ключевое-слово "тыква" истина
Но символами не являются и не могут именовать переменные:
> символ? '#:тыква ложь
> ключевое-слово? '#:тыква истина
Используются ключевые слова при работе с именованными параметрами функций и макросов.
> каталог = системный-путь 'временный-каталог-- здесь символ > записывая-файл построить-путь (каталог "что-то.txt")
функция () $ вывести "пример"
-- именованный аргумент #:если-существует может быть ’заменить, ’обрезать, ...
#:если-существует 'заменить
В описании синтаксиса ключевые слова для краткости называются ключами.
2.8 Пары и списки
Пара объединяет два произвольных значения. Функция пара позволяет создавать пары. Функции первый и оставшиеся позволяют получать первый и второй элемент из пары, а функция пара? распознаёт пары. Для удобства записи вместо функции пара можно использовать оператор :. Этот оператор имеет правую ассоциативность, то есть 1 : 2 : 3 трактуется как 1 : (2 : 3). Это позволяет с его помощью описывать списки без лишних скобок.
Пара обычно выводится как апостроф ', после которого в скобках выводятся значения элементов пары, разделённые точкой.
> 1 : 2 '(1 . 2)
> (1 : 2) : 3 '((1 . 2) . 3)
> первый $ 1 : 2 1
> оставшиеся $ 1 : 2 2
> пара? $ 1 : 2 истина
Как правило, из пар составляется список. Тогда в первый элемент кладётся значение
первого элемента списка, а во второй —
список значение1 значение2 последнее-значение
Список обычно выводится как апостроф ', после которого в скобках выводятся значения элементов списка.
> пустой-список '()
> 0 : 1 : 2 : . '(0 1 2)
> список? пустой-список истина
> список? $ 1 : 2 : . истина
> список? $ 1 : 2 ложь
Функции написать и вывести печатают пары и списки без начального апострофа. Вывод этих функций отличается только тем, как они выводят элементы списков.
> написать $ 1 : 2
’(1 . 2)> вывести $ 1 : 2
’(1 . 2)> написать $ список 1 2 "3"
’(1 2 "3")> вывести $ список 1 2 "3"
’(1 2 3)
Наиболее полезны среди функций, работающих со списками, те, которые позволяют перебирать элементы списка:
> отобразить
функция (х)
1 / х
' 1 2 3'(1 1/2 1/3)
> отобразить/и
функция (х)
х < 3
' 1 2 3ложь
> отобразить/или
функция (х)
х < 3
' 1 2 3истина
> отобрать
функция (х)
х < 3
' 1 2 3'(1 2)
> свернуть
функция (сум х)
х + сум
10
' 1 2 316
> подсписок "осёл"
' "козёл" "осёл" "мартышка"'("осёл" "мартышка")
> ассоциация 'где
' кто("Чебурашка") где("Москва") когда("Сейчас")'(где "Москва")
2.9 Массивы
Массив —
В отличие от списка, у которого чем ближе элемент к первому, тем быстрее до него можно добраться, в массиве чтение или изменение любого элемента происходит за одинаковое время.
С другой стороны, у списка можно очень быстро получить список из все элементов кроме первого или список из дополнительного элемента и всех существующих. В случае массива такие операции будут тем дольше, чем больше элементов в массиве.
Таким образом, выбор формы хранения набора значений определяется тем, какие операции над этим набором нужны.
Также, как к литерам в строке и байтам в байтовой строке, для доступа к элементам можно использовать квадратные скобки. И также, если массив задаётся непосредственным значением, то он неизменяемый.
Массив печатается подобно списку, но после апострофа ' добавляется решётка #. При вводе апостроф можно не писать. Также можно после решётки указать длину массива, тогда все элементы после явно указанных будут заполнены зхначением последнего.
> #(«а» «б» «в») '#("а" "б" "в")
> #(имя (список из четырёх элементов)) '#(имя (список из четырёх элементов))
> #4(два имени) '#(два имени имени имени)
> #(имя (список из четырёх элементов))[1] '(список из четырёх элементов)
> элемент-массива #(«а» «б» «в») 1 "б"
Из массивов можно получать списки и наоборот при помощи функций массив->список и список->массив. Такие преобразования полезны, например, для использования функций, работающих со списками.
> список->массив
отобразить прописные
массив->список #(«раз» «два» «три»)'#("РАЗ" "ДВА" "ТРИ")
2.10 Соответствия
Соответствие позволяет сопоставить произвольным значениям-ключам произвольные значения. Ключи сравниваются либо при помощи ==, если соответствие создано при помощи соответствие или новое-соответствие, либо при помощи ===, если соответствие создано при помощи соответствие=== или новое-соответствие===.
> справочник = новое-соответствие() > справочник[«яблоко»] := '(красное круглое) '(красное круглое)
> установить-значение-соответствия! справочник «банан»'(жёлтый длинный) > справочник[«яблоко»] '(красное круглое)
> значение-соответствия справочник «яблоко» '(красное круглое)
> значение-соответствия справочник «кокос» значение-соответствия: нет значения для ключа ключ: "кокос" > значение-соответствия справочник «кокос» «такого нет» "такого нет"
2.11 Структуры
Вышеописанных структур данных достаточно для реализации любого алгоритма. Списки позволяют работать с однородными наборами данных, которые обрабатываются последовательно и количество которых в наборе может меняться. Массивы позволяют работать с наборами данных только фиксированной длины, но предоставляют равную (и очень высокую) скорость доступа ко всем элементам.
Соответствия позволяют сопоставить произвольные значения другим произвольным значениям, но также, как для работы с фиксированным набором данных лучше использовать массивы, также для сопоставления фиксированного набора имён значениям лучше использовать структуры.
Структура —
В первом приближении синтаксис этой формы выглядит так:
(структура <имя> (<поле> ...))
> структура позиция
ряд колонка
Форма структура создаёт функции для работы с определяемым типом и связывает с ними переданное имя, а также идентификаторы, полученные из имени и полей.
Из имени создаётся конструктор: функция, которая создаёт новую структуру с заданными значениями полей. У неё столько аргументов, сколько полей в описании структуры.
> позиция 1 2 #<позиция>
Из имени с вопросительным знаком создаётся предикат типа, то есть функция от одного аргумента, возвращающая истину, если это значение является структурой данного типа.
> позиция? 3 ложь
> позиция? $ позиция 1 2 истина
Из имени структуры и имени поля создаётся функция чтения значения поля.
> позиция-ряд $ позиция 1 2 1
> позиция-колонка $ позиция 1 2 2
Можно добавить ключ суффикс, чтобы имя функции чтения значений было согласовано по падежам:
> структура позиция
ряд колонка
#:суффикс -позиции> ряд-позиции $ позиция 1 2 1
> колонка-позиции $ позиция 1 2 2
Также можно делать структуру с изменяемыми полями. Тогда создаётся функция для установки значений полей путём добавления перед именем функции «установить-», а после имени восклицательного знака. Или можно устанавливать значения при помощи функции чтения и оператора :=.
> структура позиция
ряд(#:изменяемое) колонка
#:суффикс -позиции> моя-позиция = позиция 1 2 > ряд-позиции моя-позиция 1
> ряд-позиции моя-позиция := 5 > ряд-позиции моя-позиция 5
> установить-ряд-позиции! моя-позиция 6 > ряд-позиции моя-позиция 6
Есть возможность сделать структуру-подтип. Тогда значения данного типа будут проходить проверку предикатом надтипа, у него будут все поля надтипа и к значениям можно применять все функции доступа надтипа. То есть, фактически, значения данного типа являются одновременно и значениями надтипа. Синтаксис для этого случая:
(структура <имя> <имя-надтипа> (<поле> ...))
2.12 Классы
Вышеприведённых типов данных уже достаточно для описания любого алгоритма.
Но бывает алгоритмы, которые однообразно работают с разынми типами данных. Например, вывод элементов графическогго интерфейса на экран. Элементы интерфейса разные, но у них всех есть некая функция «вывести» с координатами.
Если реализовывать вывод через функцию, а данные хранить в структурах, то внутри функции придётся делать огромную конструкцию если, которую придётся расширять при каждом добавлении нового типа экранных элементов.
Можно сделать функцию вывода полем структуры, но даже для того, чтобы прочитать это поле, структуры должны иметь одинаковый тип. Например, быть потомком одного надтипа. И если идти этим путём, то у надтипа должны быть поля для всех функций, которые могут быть общими у его потомков.
Чтобы не переписывать надтип при добавлении каждой функции и иметь возможность иметь разные функции у разных иерархий объектов, были придуманы классы. Класс это тип, в котором описаны поля и функции (чтобы отличить от обычных, эти функции называются «методы»). Класс может быть наследниковм (подтипом) другого класса. Тогда в нём есть все поля и методы родительского класса, но методы можно переопределить. В отличие от структур, для вызова метода класса и для доступа к полю класса не используется имя типа. Поэтому можно единообразно обращаться к полям с одинаковыми именами или вызывать методы с одинаковыми именами для совершенно разных классов.
Значения классов традиционно называются объектами или экземплярами классов.
Чтобы работать с классами, сначала надо включить необходимую библиотеку.
Общая структура определения класса выглядит так:
(класс <имя-родительского-класса> <команда> ...)
По соглашению имена классов заканчиваются знаком процента. Встроенный класс без полей и методов объект% можно использовать как родителя для классов, которые ничего не должны наследовать.
Команды внутри класса выполняются при создании объекта. Среди команд обязательно должна быть ровно одна команда базовый-объект, выполняющая инициализацию данных, унаследованных от родительского объекта. Даже если этот родительский объект всего лишь объект%.
Определим, например, класс рыб с методами получить-размер, расти и кушать.
рыба% = класс объект%
инициализировать размер
текущий-размер = размер
базовый-объект()
методы получить-размер вырасти кушать
получить-размер() = текущий-размер
вырасти количество =
текущий-размер := текущий-размер + количество
пусто
кушать другая-рыба =
вырасти другая-рыба{получить-размер}
Теперь можно создавать объекты этого класса:
Аргумент инициализации размер должен быть передан при создании объекта. Он доступен только в процессе инициализации и не может быть прочитан из метода. Поэтому значение этого аргумента мы сохраняем в поле текущий-размер.
> флаундер{вырасти 6} > флаундер{получить-размер} 16
> вызвать-метод флаундер получить-размер 16
При наследовании к методам родительского класса можно обращаться через переменную этот.
голодная-рыба% = класс рыба%
базовый-объект()
методы кушать-больше
кушать-больше рыба1 рыба2 =
этот{кушать рыба1}
этот{кушать рыба2}
Или лучше использовать специальную команду унаследованные. Тогда к методу родителя можно обращаться как к своему и этот вызов работает быстрее.
голодная-рыба% = класс рыба%
базовый-объект()
методы кушать-больше
унаследованные кушать
кушать-больше рыба1 рыба2 =
кушать рыба1
кушать рыба2
Неважно, вызывается метод через прямой вызов или через этот, в любом случае работает переопределение методов.
разборчивая-рыба% = класс рыба%
базовый-объект()
переопределить вырасти
вырасти количество =
базовый вырасти (количество * 3/4)
Мы указали командой переопределить вырасти, что метод вырасти в этом классе не новый, а переопределяемый метод родительского класса. Командой базовый можно вызвать метод базового класса даже если он переопределён в текущем.
2.12.1 Аргументы инициализации
Так как разборчивая-рыба% была определена без своих аргументов инициализации, то аргументы, переданные в функции объект, отправляются дальше в класс рыба% при вызове базовый-объект.
Можно передать аргументы базовому классу явным образом:
> рыба-размером-10% = класс рыба% $ базовый-объект размер(10) > объект(рыба-размером-10%){получить-размер} 10
2.12.2 Поля
> установить-поле! текущий-размер фрося > объект(рыба-размером-10%){получить-размер} 10
3 Графический интерфейс
Модули каталога "графический-интерфейс" дают русскоязычную оболочку над racket/gui/base: окна, кнопки, поля ввода, панели, меню и текстовый редактор. Классы Адины хранят внутри объект Racket (поле внутренний) и переводят имена методов, аргументов инициализации и событий.
Чтобы подключить сразу основные классы, напишите:
#!1 используется графический-интерфейс
Можно подключать отдельные файлы каталога, например графический-интерфейс/кнопка или графический-интерфейс/табличная-панель. Модуль графический-интерфейс сам подтягивает класс, поэтому отдельно писать (используется класс) не обязательно.
Объекты создаются формой объект, как в разделе Классы. Окно нужно показать методом показать:
#!1 используется графический-интерфейс окно = объект главное-окно% заголовок "Привет" ширина 320 высота 140 поле = объект текстовое-поле% родитель окно заголовок "Имя:" объект кнопка% родитель окно заголовок "Сказать привет" команда функция (кнопка событие) вывести/перенос "Привет, " ++ поле{значение} окно{показать истина}
Родитель элемента задаётся аргументом инициализации родитель. У кнопок действие передаётся аргументом команда (функция от элемента и события). У текстового поля текущая строка читается и записывается методом значение.
3.1 Как устроены классы
Иерархия интерфейсов повторяет Racket GUI:
область<%> —
общие размеры и растягивание; окно<%> расширяет область: заголовок, показ, фокус, курсор;
подобласть<%> —
поля (отступы) внутри вместилища; подокно<%> —
окно, которое живёт внутри родителя (кнопка%, надпись%, текстовое-поле%, панели); вместилище<%> —
контейнер элементов (группа%, панель%, главное-окно%); вместилище-окно<%> —
вместилище, которое само является окном; главное-окно<%> —
рамка или диалог верхнего уровня; элемент-управления<%> —
типичный виджет на панели; картина<%> —
холст или поле редактора.
События объявлены как методы с приставкой при- (при-закрытии, при-изменении-размера) или вопросом (можно-закрыть?). В базовых классах они ничего не делают или возвращают разумное значение по умолчанию; их можно переопределить в наследнике. Часть действий задаётся и колбэком при создании (команда у кнопки, при-изменении у поля, обработка у картины).
Многие методы работают как «геттер и сеттер»: без аргументов читают значение, с одним аргументом записывают его. Так устроены заголовок, значение, минимальная-ширина, выравнивание.
Символы стиля и выравнивания русские. Для выравнивания вместилища: 'лево, 'центр, 'право по горизонтали и 'верх, 'центр, 'низ по вертикали. Для текстового поля стиль по умолчанию '(однострочное); допустимы также 'многострочное и 'скрытая (элемент создан, но ещё не показан в родителе). У кнопки в стиле бывают 'граница, 'многострочная, 'скрытая.
Подробные описания интерфейсов, классов, аргументов инициализации и методов
собраны в справочнике: Графический интерфейс. Классы и функции рисования —
3.2 Окна и диалоги
главное-окно% —
Основные методы: показать, включить, заголовок, ширина, высота, переместить, установить-размер, установить-иконку, в-центр (направление 'оба, 'по-горизонтали или 'по-вертикали), создать-строку-состояния, показать-состояние, сфокусировать, обновить. События: можно-закрыть?, при-закрытии, при-активации, при-выходе, при-изменении-дисплея.
диалог% —
Функция получить-файл показывает стандартный модальный диалог выбора файла и возвращает путь к выбранному файлу или ложь, если пользователь отменил выбор.
область-уведомлений% —
Интерфейс область<%> задаёт родитель, главное-окно, минимальная-ширина, минимальная-высота, минимальные-размеры-вывода, растягивается-ширина, растягивается-высота.
окно<%> расширяет область<%>. Показ и активность: показать, показано?, включить, включено?, есть-фокус?, сфокусировать. Геометрия: ширина, высота, лево, верх, размеры, внутренние-размеры, окно->экран, экран->окно. Прочее: заголовок, курсор, принимать-файлы, контекстное-меню, режим-колеса-мыши ('по-одному, 'по-целым, 'сразу).
главное-окно<%> расширяет вместилище-окно<%>. Дополнительно: пространство-событий, объект-в-фокусе, окно-в-фокусе, установить-иконку.
3.3 Вместилища: панели и группы
группа% только раскладывает детей и сама не рисуется.
панель% —
группа% —
горизонтальная-группа% —
вертикальная-группа% —
панель% —
горизонтальная-панель% —
вертикальная-панель% —
У вместилище<%>: элементы, добавить-элемент, удалить-элемент, изменить-элементы, начать-изменения и закончить-изменения (пакет обновлений раскладки), пересчитать-положения, граница, интервал, выравнивание.
Не входит в модуль графический-интерфейс, подключается отдельно:
табличная-панель% —
3.4 Элементы управления и меню
кнопка% —
надпись% —
текстовое-поле% —
список% —
поле-даты% —
строка-меню% —
меню% —
пункт-меню% —
3.5 Шрифты и события
шрифт% описывает шрифт. Аргументы инициализации: размер (12), семейство, имя, стиль ('нормальный, 'наклонный, 'курсив), насыщенность ('тонкая, 'светлая, 'нормальная, 'жирная, 'тяжёлая и промежуточные значения в том же ряду), подчёркнутый?, сглаживание ('стандартное, 'частичное, 'полное, 'отсутствует), размер-в-пикселях?, округлять-метрики?, свойства. Методы с теми же именами читают параметры.
шрифт-элемента-управления —
Функция на-основе-шрифта строит новый шрифт, копируя исходный; не указанные ключевые аргументы берутся из исходного шрифта.
буфер-обмена —
событие% —
3.6 Картина, редактор и куски
картина% —
поле-редактора% —
текст% —
Функция для-каждого-куска вызывает переданную функцию для каждого куска документа по порядку.
кусок% —
кусок-со-строкой% —
кусок-с-изображением% —
кусок-с-редактором% —
Стили редактора живут в графический-интерфейс/стиль
(список-стилей%, стиль%, отклонение-стиля%),
привязки клавиш —
3.7 Файлы каталога
Коллекция "1/графический-интерфейс" соответствует модулю графический-интерфейс и его подмодулям:
Модуль |
| Что экспортирует |
графический-интерфейс |
| сводка: окна, диалог, виджеты, меню, шрифт, редактор, куски |
графический-интерфейс/главное-окно |
| |
графический-интерфейс/диалог |
| |
графический-интерфейс/область-уведомлений |
| |
графический-интерфейс/кнопка |
| |
графический-интерфейс/список |
| |
графический-интерфейс/списочный-интерфейс |
| |
графический-интерфейс/меню |
| |
графический-интерфейс/надпись |
| |
графический-интерфейс/текстовое-поле |
| |
графический-интерфейс/поле-даты |
| |
графический-интерфейс/панель |
| панель%, горизонтальная и вертикальная |
графический-интерфейс/группа |
| группа%, горизонтальная и вертикальная |
графический-интерфейс/табличная-панель |
| |
графический-интерфейс/шрифт |
| |
графический-интерфейс/картина |
| |
графический-интерфейс/поле-редактора |
| |
графический-интерфейс/текст |
| |
графический-интерфейс/событие |
| событие% и обёртки событий |
графический-интерфейс/буфер-обмена |
| |
графический-интерфейс/стиль |
| список стилей, стиль, отклонение |
графический-интерфейс/набор-команд |
| |
графический-интерфейс/объект |
| общий предок виджетов Адины |
графический-интерфейс/интерфейс-… |
| интерфейсы и синтаксис методов для остальных файлов |
4 Справочник
4.1 Синтаксические формы
синтаксис
(идентификатор = выражение)
(значения идентификатор ... = выражение) (заголовок(аргументы) = команда ... выражение)
заголовок = идентификатор | (заголовок аргументы) аргументы = аргумент ... | аргумент ... . аргумент-оставшихся аргументы = идентификатор | [идентификатор выражение] | ключ идентификатор | [ключ идентификатор выражение]
синтаксис
(идентификатор := выражение)
(значения идентификатор ... := выражение) (выражение-коллекция[индекс] := выражение) (доступ-к-полю выражение-структура := выражение)
синтаксис
(структура имя (поле ...) параметр ...)
(структура имя надструктура (поле ...) параметр ...)
поле = идентификатор | (идентификатор #:изменяемое) параметр = #:суффикс идентификатор | #:префикс идентификатор | #:читаемая
Если указан ключ #:читаемая, то при выводе структуры будут видны значения её полей и новые структуры можно создавать не только через функцию создания. Если значения структуры не могут быть произвольными и значения полей проверяютсяпри создании, не используйте этот ключ.
Если указана надструктура, которая должна быть идентификатором типа структуры, то в создаваемый тип перед указанными полями добавляются все поля надструктуры и созданные структуры считаются также относящимся также к типу надструктуры.
синтаксис
(функция (аргументы) = команда ... выражение)
аргументы = аргумент ... | аргумент ... . аргумент-оставшихся аргумент = идентификатор | (идентификатор выражение) | ключ идентификатор | (ключ идентификатор выражение)
оператор
(аргументы ==> выражение)
аргументы = идентификатор | (идентификатор ...)
Оператор собирает слова слева в аргументы, а справа —
В отличие от функция, тело —
синтаксис
(буквально элемент ...+)
синтаксис
(блок команда ...)
Если блок стоит среди определений, его содержимое вставляется в окружающий контекст как отдельные команды: определения из блока видны снаружи, как если бы они были записаны на месте блок.
синтаксис
(попытка обработчик команда ...)
(попытка (условие обработчик) команда ...)
(попытка (исключения (условие обработчик) ...) команда ...)
обработчик —
В первой форме обрабатывается любое исключение.
Во второй форме проверяется одно условие.
В третьей форме пары условия и обработчика перебираются по порядку; срабатывает первая подходящая. Если ни одна не подошла, исключение передаётся дальше.
4.2 Классы
синтаксис
(класс выражение-базового-класса команда-класса ...)
команда-класса = (инициализировать объявление-инициализации ...) | (инициализированные-поля объявление-инициализации ...) | (поля объявление-поля ...) | (унаследованные-поля возможно-переименованное ...) | (методы возможно-переименованное ...) | (дополняемые-методы возможно-переименованное ...) | (переопределить возможно-переименованное ...) | (дополнить возможно-переименованное ...) | (абстрактные идентификатор ...) | (унаследованные возможно-переименованное ...) | определение | выражение | (блок команда-класса ...) объявление-инициализации = идентификатор | (переименованное) | (возможно-переименованное выражение-значения-по-умолчанию) объявление-поля = (возможно-переименованное выражение-значения-по-умолчанию) возможно-переименованное = идентификатор | переименованное переименованное = (внутреннее-имя внешнее-имя)
Класс задаёт набор полей, набор методов, выражения начальных значений полей и переменные инициализации, которые связываются с аргументами при создании объекта. В системе классов объектом называется набор привязок полей, созданный по описанию класса.
Новый класс можно определить через уже существующий базовый класс с помощью наследования, переопределения и дополнения:
наследование: объект производного класса поддерживает методы и создаёт поля, объявленные в базовом классе, а также методы и поля, объявленные в выражении производного класса;
переопределение: некоторые методы базового класса можно заменить в производном. Обращения к переопределённому методу из базового класса используют реализацию из производного класса;
дополнение: некоторые методы базового класса можно лишь расширить в производном. Метод базового класса явно передаёт управление дополняющему методу производного класса.
выражение-базового-класса вычисляется при вычислении команды класс. Результат должен быть значением класса (в том числе встроенным классом объект%), иначе вызывается исключение. Этот результат становится базовым классом нового класса. У объект% нет полей и методов; от него порождаются все остальные классы.
Остальные команда-класса задают аргументы инициализации, открытые и закрытые поля, открытые и закрытые методы. Для каждого имени в командах методы, переопределить, дополнить или дополняемые-методы должна быть ровно одна соответствующая команда определения метода. Команда абстрактные объявляет имена методов без реализации: объект такого класса нельзя создать, пока производный класс не задаст реализацию командой переопределить. Все прочие определения внутри класса создают закрытые поля. Оставшиеся выражения — выражения инициализации; они выполняются при создании объекта.
Если команда класса — выражение блок, его подвыражения поднимаются из блока и обрабатываются как отдельные команды класса.
Результат команды класс — новый класс, порождённый указанным базовым классом. Объекты создаются формой объект или функцией создать-объект.
Внутри команды класс для экземпляров нового класса этот связан с самим объектом; этот% — с классом текущего объекта; базовый-объект и создать-базовый-объект — формы инициализации полей базового класса; базовый вызывает метод базового класса; производный вызывает дополнение метода в производном классе. Использование этот, этот%, базовый и производный вне тела команды класс является ошибкой синтаксиса.
Переменные инициализации. Переменные, объявленные командами инициализировать и инициализированные-поля, создаются для каждого объекта класса. Их можно использовать в выражениях начальных значений полей, в выражениях значений по умолчанию для аргументов инициализации и в выражениях инициализации. Из методов доступны только переменные, объявленные инициализированные-поля; обращение к прочим переменным инициализации из метода — ошибка синтаксиса.
Значения этих переменных — аргументы, переданные форме объект или функции создать-объект, если объект создаётся как непосредственный экземпляр класса; либо аргументы, переданные форме инициализации базового класса, если объект создаётся как экземпляр производного класса.
Если аргумент не передан, а у переменной есть выражение-значения-по-умолчанию, вычисляется это выражение. Оно вычисляется только при отсутствии аргумента. В его окружение входят все переменные инициализации, все поля и все методы класса. Если вычисляется несколько выражений по умолчанию, они вычисляются слева направо. Если значения по умолчанию нет, при создании объекта или инициализации базового класса аргумент обязателен, иначе вызывается исключение.
Аргументы можно передать по имени или по позиции. Внешнее имя переменной инициализации используется с формой объект и с формой инициализации базового класса. Функция создать-объект и процедура инициализации базового класса принимают только аргументы по позиции.
Аргументы по позиции превращаются в именные в порядке команд инициализировать и инициализированные-поля и в порядке переменных внутри каждой команды. Неиспользованные именные аргументы передаются базовому классу.
Поля. Каждая команда поля, инициализированные-поля и каждое определение, не являющееся методом, объявляет одно или несколько новых полей класса. Поля из поля и инициализированные-поля открытые: к ним можно обращаться и их можно изменять в производных классах через унаследованные-поля, а снаружи класса — функциями поле и установить-поле!. Поля из обычных определений доступны только внутри класса.
Поле из инициализированные-поля одновременно является открытым полем и переменной инициализации.
Команда унаследованные-поля делает открытое поле базового класса напрямую доступным в выражении класса. Если указанного поля в базовом классе нет, при вычислении выражения класса вызывается исключение. Каждое поле базового класса присутствует и в производном, даже без унаследованные-поля; эта команда не управляет наследованием, а только лексической областью видимости внутри выражения класса.
При создании объекта все поля сначала не определены. Поля класса инициализируются одновременно с вычислением выражений инициализации класса. Среди выражений инициализации должна быть инициализация базового класса (базовый-объект или создать-базовый-объект).
Методы. Каждая команда методы, переопределить, дополнить или дополняемые-методы объявляет одно или несколько имён методов. У каждого имени должна быть соответствующая команда определения метода. Порядок таких команд и определений (между собой и относительно других команд класса) неважен.
Определение метода синтаксически ограничено формами функций. Выражение процедуры метода не вычисляется напрямую: для каждого метода создаётся процедура, которая помимо обычных аргументов получает объект. Тело преобразуется так, чтобы доступ к методам и полям шёл через этот объект.
Метод, объявленный методы или дополняемые-методы, вводится в класс как новый. Его ещё не должно быть в базовом классе, иначе при вычислении выражения класса вызывается исключение. Метод из методы можно переопределить в производном классе командой переопределить. Метод из дополняемые-методы можно дополнить в производном классе командой дополнить.
Метод, объявленный переопределить, заменяет определение, уже присутствующее в базовом классе. Если метода там нет, вызывается исключение. Такой метод можно снова переопределить в следующем производном классе.
Метод, объявленный дополнить, расширяет метод базового класса, объявленный как дополняемый. Если дополняемого метода нет, вызывается исключение.
Команда унаследованные делает метод базового класса напрямую вызываемым в выражении класса (как свой метод). Если метода нет в базовом классе, вызывается исключение. Наличие метода в производном классе не зависит от унаследованные: команда задаёт только область видимости.
Если в возможно-переименованное указано переименованное, внутреннее-имя используется в теле класса, а внешнее-имя — при вызове метода или доступе к полю снаружи и в производных классах. Все внутренние имена в одном классе должны быть различны; различны должны быть и внешние имена методов, полей и аргументов инициализации.
Команда класс не принимает список интерфейсов. Если класс должен явно реализовывать интерфейсы, используйте класс*.
синтаксис
(класс* выражение-базового-класса (выражение-интерфейса ...) команда-класса ...)
выражение-базового-класса вычисляется при вычислении команды класс*. Результат должен быть значением класса, иначе вызывается исключение. Этот результат становится базовым классом нового класса.
Выражения интерфейсов вычисляются следом, в порядке записи. Результат каждого должен быть значением интерфейса, иначе вызывается исключение. Новый класс реализует все эти интерфейсы. Для каждого имени метода каждого интерфейса класс или один из его предков должен объявить открытый метод с тем же именем, иначе вызывается исключение. Базовый класс должен удовлетворять требованию порождения каждого интерфейса, иначе вызывается исключение.
Результат — новый класс, порождённый указанным базовым классом и реализующий указанные интерфейсы. Объекты создаются формой объект или функцией создать-объект.
Внутри команды класс* действуют те же привязки, что внутри класс: этот, этот%, базовый-объект, создать-базовый-объект, базовый и производный.
синтаксис
(инициализировать объявление-инициализации ...)
> класс объект%
базовый-объект()
инициализировать репа
(внутренняя-картошка картошка)
(морковь 'хорошая)
((внутренняя-брюква брюква) 'нормальная)
синтаксис
(инициализированные-поля объявление-инициализации ...)
> класс объект%
базовый-объект()
инициализированные-поля индейка
(внутренний-страус страус)
(курица 7)
((внутренний-эму эму) 13)
синтаксис
(поля объявление-поля ...)
> класс объект%
базовый-объект()
поля (минестроне 'готово)
((внутреннее-рагу рагу) 'тушится)
синтаксис
(унаследованные-поля возможно-переименованное ...)
> книга-рецептов% = класс объект%
базовый-объект()
поля (рецепты '(суп яичница)) (страницы 389)> класс книга-рецептов%
базовый-объект()
унаследованные-поля рецепты (внутренние-страницы страницы)
синтаксис
(методы возможно-переименованное ...)
синтаксис
(дополняемые-методы возможно-переименованное ...)
> бегун% = класс объект%
базовый-объект()
бег() = 'бег
рысь() = 'рысь
дополняемые-методы бег (рысь трусца)> объект(бегун%){бег} 'бег
> объект(бегун%){трусца} 'рысь
синтаксис
(переопределить возможно-переименованное ...)
> овца% = класс объект%
базовый-объект()
методы блеять
блеять() = вывести/перенос(«бе-е-е»)> растерянная-овца% = класс овца%
базовый-объект()
блеять() =
базовый блеять
вывести/перенос(«???»)
переопределить блеять> объект(овца%){блеять}
бе-е-е> объект(растерянная-овца%){блеять}
бе-е-е ???
синтаксис
(дополнить возможно-переименованное ...)
> зуммер% = класс объект%
базовый-объект()
дополняемые-методы жужжать
жужжать() =
вывести/перенос(«жжжт»)
производный(пусто жужжать)> громкий-зуммер% = класс зуммер%
базовый-объект()
жужжать() = вывести/перенос(«ЖЖЖЖТ»)
дополнить жужжать> объект(зуммер%){жужжать}
жжжт> объект(громкий-зуммер%){жужжать}
жжжт ЖЖЖЖТ
синтаксис
(абстрактные идентификатор ...)
> поезд% = класс объект%
базовый-объект()
абстрактные скорость
инициализированные-поля (положение 0)
методы ехать
ехать() =
объект этот% положение(положение + скорость())> скорый% = класс поезд%
базовый-объект()
скорость() = 241
переопределить скорость> объект(поезд%) объект: нельзя создать объект класса с нереализованными методами класс: #<класс:поезд%> методы: скорость > объект(скорый%){ехать} (объект:скорый% ...)
синтаксис
(унаследованные возможно-переименованное ...)
> сирена% = класс объект%
базовый-объект()
методы сирена
сирена() = вывести/перенос(«бииип»)> автомобильная-сирена% = класс сирена%
базовый-объект()
инициализированные-поля близость
унаследованные сирена
если близость < 10 тогда сирена()> объект автомобильная-сирена% близость(5)
бииип(объект:автомобильная-сирена% ...)
синтаксис
(базовый-объект (идентификатор выражение) ...)
синтаксис
синтаксис
(интерфейс (выражение-базового-интерфейса ...) имя ...)
объявляет (или наследует) открытый метод для каждого имени интерфейса;
порождён от класса, которого требует интерфейс, если такое требование есть;
явно указывает намерение реализовать интерфейс.
Класс может реализовывать любое число интерфейсов. Производный класс автоматически реализует все интерфейсы своего базового класса. Каждый класс также реализует неявно определённый интерфейс со всеми своими открытыми методами; этот интерфейс требует, чтобы все прочие его реализации порождались от данного класса.
Новый интерфейс может расширять один или несколько интерфейсов дополнительными именами методов; каждый класс, реализующий расширенный интерфейс, реализует и исходные. Требования порождения исходных интерфейсов должны быть согласованы; расширенный интерфейс наследует наиболее конкретное требование.
имя должны быть попарно различны.
Каждое выражение-базового-интерфейса вычисляется по порядку при вычислении команды интерфейс. Результат каждого должен быть значением интерфейса, иначе вызывается исключение. Эти интерфейсы становятся базовыми для нового: новый их расширяет. Любой класс, реализующий новый интерфейс, реализует и все базовые.
Результат включает все указанные имя, а также все имена из базовых интерфейсов. Повторяющиеся имена среди базовых интерфейсов игнорируются.
Если выражения базовых интерфейсов не заданы, требование порождения тривиально: реализующий класс должен быть порождён от объект%. Иначе требование — наиболее конкретное из требований базовых интерфейсов. Если требования несогласованы, вызывается исключение.
Классы, объекты и интерфейсы — значения. Однако класс или интерфейс не является объектом.
класс
объект% : любой
синтаксис
(объект выражение-класса (идентификатор выражение) ...)
Все поля нового объекта сначала не определены. Переменные инициализации с выражениями по умолчанию (если значение не передано) тоже сначала не определены. После подстановки аргументов вычисляются выражения в командах поля, в инициализированные-поля и инициализировать без переданного аргумента, определения закрытых полей и прочие выражения — в порядке записи в классе.
Во время этих вычислений инициализация, объявленная базовым классом, должна быть выполнена ровно один раз формой базовый-объект или создать-базовый-объект. Если до конца инициализации какого-либо класса в иерархии базовый класс так и не инициализирован, вызывается исключение. Повторный вызов инициализации базового класса тоже вызывает исключение.
Именные аргументы, для которых в классе нет переменной инициализации, неявно добавляются к вызову инициализации базового класса после явных аргументов. Если для одного имени передано несколько аргументов, используется первый, остальные передаются базовому классу. Инициализация объект% не принимает аргументов: лишние именные аргументы вызывают исключение.
Унаследованные поля инициализируются только при вызове инициализации базового класса. Методы доступны сразу после создания объекта; переопределение методов не зависит от хода инициализации.
синтаксис
синтаксис
> счёт% = класс объект%
базовый-объект()
инициализированные-поля баланс
методы добавить
добавить n =
объект этот% баланс(n + баланс)> вклад% = класс счёт%
базовый-объект()
унаследованные-поля баланс
процент = 0.04
методы начислить-процент
начислить-процент() =
этот{добавить процент * баланс}> счёт = объект вклад% баланс(500) > счёт{добавить 500} > счёт{начислить-процент} > поле баланс счёт 1040.0
синтаксис
(базовый идентификатор аргумент ...)
(базовый идентификатор аргумент ... . выражение-списка-аргументов)
Вторая форма передаёт дополнительные аргументы списком, как применить; выражение-списка-аргументов не должно быть выражением в скобках.
Если метод объявлен командой переопределить, реализацию базового класса можно вызвать через базовый. Если несколько базовых интерфейсов дают разные реализации переопределяемого метода, при вычислении базовый вызывается исключение.
синтаксис
(производный выражение-по-умолчанию идентификатор аргумент ...)
(производный выражение-по-умолчанию идентификатор аргумент ... . выражение-списка-аргументов)
Вторая форма передаёт дополнительные аргументы списком, как применить; выражение-списка-аргументов не должно быть выражением в скобках.
Если метод объявлен командой дополняемые-методы или дополнить, дополнение из производного класса вызывается через производный.
синтаксис
(поле идентификатор выражение-объекта)
Если результат выражение-объекта не объект, вызывается исключение. Если у объекта нет поля идентификатор, вызывается исключение.
синтаксис
(установить-поле! идентификатор выражение-объекта выражение)
Если результат выражение-объекта не объект, вызывается исключение. Если у объекта нет поля идентификатор, вызывается исключение.
функция
(создать-объект класс параметр ...) → любой
класс : любой параметр : любой
функция
(объект-класса? значение тип) → булево?
значение : любой тип : любой
Класс — значение, но не объект: для экземпляра класса ложь, для самого класса истина.
функция
(интерфейс? значение) → булево?
значение : любой
Интерфейс — значение, но не объект.
4.3 Логические выражения
4.4 Условия
При использовании как оператор не объединяет в одно выражение слова справа от себя.
синтаксис
(&& выражение ...)
синтаксис
(|| выражение ...)
синтаксис
(если слова-условия ... тогда команда ... иначе команда ...)
(если слова-условия ... тогда команда ...) (если правило ...) (если правило ... (иначе команда ... выражение))
правило = (условие команда ... выражение) | (выполнить команда ...) | (условие => выражение)
4.5 Символы
функция
(символ->строка символ) → строка?
символ : символ?
функция
(строка->символ строка) → символ?
строка : строка?
функция
(новый-символ) → символ?
4.6 Ключевые слова
функция
(ключевое-слово? аргумент) → булево?
аргумент : любой
функция
(строка->ключевое-слово строка) → символ?
строка : строка?
4.7 Числа
функция
(точное-целое? аргумент) → булево?
аргумент : любой
функция
(целое-неотрицательное? аргумент) → булево?
аргумент : любой
функция
(вещественное? аргумент) → булево?
аргумент : любой
функция
(рациональное? аргумент) → булево?
аргумент : любой
функция
(комплексное? аргумент) → булево?
аргумент : любой
функция
число : вещественное?
функция
(арккосинус число) → число?
число : число?
функция
(арктангенс число) → число?
число : число?
функция
(экспонента число) → число?
число : число?
функция
число : число? основание : число? = (экспонента 1)
функция
(неточное->точное число) → точное?
число : число?
функция
(точное->неточное число) → неточное?
число : число?
функция
(небольшое-число? аргумент) → булево?
аргумент : любой
функция
(абс число) → вещественное?
число : вещественное?
функция
(строка->число строка [основание]) → (одно-из число? ложь)
строка : строка? основание : (одно-из 2 8 10 16) = 10
функция
(число->строка число [основание]) → строка?
число : число? основание : (одно-из 2 8 10 16) = 10
4.8 Литеры
функция
(литера->число аргумент) → точное-целое?
аргумент : литера?
функция
(число->литера аргумент) → литера?
аргумент : точное-целое?
4.9 Списки
константа
функция
(оставшиеся аргумент) → любой
аргумент : пара?
функция
(развернуть аргумент) → список?
аргумент : список?
функция
(элемент-списка аргумент позиция) → любой
аргумент : список? позиция : число?
Сравнение элементов с значением происходит при помощи ==.
Если значение есть, то аргумент может быть не совсем списком. Достаточно, чтобы он начинался с цепочки пар, в которой есть искомый элемент. В этом случае результат будет не списком, а тем, что является вторым значением в той паре, где первое значение совпало с элементом.
функция
(подсписок=== значение аргумент) → любой
значение : любой аргумент : список?
функция
(отобразить обработчик аргумент ...) → список?
обработчик : функция? аргумент : список?
Вызов (отобразить ф список(а б в)) аналогичен (список ф(а) ф(б) ф(в))..
функция
(отобразить/и обработчик аргумент ...) → любой
обработчик : функция? аргумент : список?
Вызов (отобразить/и ф список(а б в)) аналогичен (&& ф(а) ф(б) ф(в)).
функция
(отобразить/или обработчик аргумент ...) → любой
обработчик : функция? аргумент : список?
Вызов (отобразить/или ф список(а б в)) аналогичен (|| ф(а) ф(б) ф(в)).
Если свернуть вызывается с n списками, то обработчик должен принимать n+1 аргументов. Последний аргумент получает результат предыдущего вызова обработчика, при первом вызове получает значение аргумента начальное. Результатом функции свернуть является последний результат вызова обработчика.
функция
аргумент : список? (добавить аргумент ... последний-аргумент) → любой аргумент : список? последний-аргумент : любой
Если последний аргумент не список, он всё равно используется в хвостовой позиции.
Если передан всего один аргумент, он возвращается как есть. Если передано ноль аргументов, возвращается пустой список.
Время выполнения пропорционально сумме длин аргументов кроме последнего.
функция
(++ аргумент ...) → (одно-из список? строка? массив? байты?)
аргумент : (одно-из список? строка? массив? байты?)
функция
(ассоциация значение список [равенство]) → (одно-из пара? ложь)
значение : любой список : список? равенство : (любой любой . -> . любой) = ==
4.10 Массивы
функция
(длина-массива массив) → число?
массив : массив?
функция
(элемент-массива массив позиция) → литера?
массив : массив? позиция : целое-неотрицательное?
функция
(установить-элемент-массива! массив позиция значение) → пусто? массив : массив? позиция : целое-неотрицательное? значение : любой
функция
(массив->список массив) → список?
массив : массив?
функция
(список->массив список) → список?
список : список?
4.11 Соответствия
функция
(соответствие? аргумент) → булево?
аргумент : любой
функция
(соответствие===? аргумент) → булево?
аргумент : любой
функция
(соответствие ключ значение ...) → соответствие?
ключ : любой значение : любой
функция
(соответствие=== ключ значение ...) → соответствие?
ключ : любой значение : любой
функция
(новое-соответствие [список-пар]) → соответствие?
список-пар : (список-из пара?) = пустой-список
функция
(новое-соответствие=== [список-пар]) → соответствие?
список-пар : (список-из пара?) = пустой-список
функция
(значение-соответствия соответствие ключ [ не-найден]) → любой соответствие : соответствие? ключ : любой не-найден : любой = ошибка-нет-ключа
функция
(установить-значение-соответствия! соответствие ключ значение) → пусто? соответствие : соответствие? ключ : любой значение : любой
4.12 Строки
функция
(новая-строка длина [литера]) → строка?
длина : целое-неотрицательное? литера : литера? = (число->литера 0)
функция
(длина-строки строка) → целое-неотрицательное?
строка : строка?
функция
(элемент-строки строка позиция) → литера?
строка : строка? позиция : целое-неотрицательное?
функция
(установить-элемент-строки! строка позиция литера) → пусто? строка : строка? позиция : целое-неотрицательное? литера : литера?
функция
строка : строка? начало : целое-неотрицательное? конец : целое-неотрицательное? = (длина-строки строка)
функция
(добавить-строки строка ...) → строка?
строка : строка?
функция
(строки-равны? строка ...) → строка?
строка : строка?
функция
(строки-возрастают? строка ...) → строка?
строка : строка?
функция
(строки-не-убывают? строка ...) → строка?
строка : строка?
функция
(строки-убывают? строка ...) → строка?
строка : строка?
функция
(строки-не-возрастают? строка ...) → строка?
строка : строка?
функция
(строки-равны?/без-регистра строка ...) → строка?
строка : строка?
функция
(строки-возрастают?/без-регистра строка ...) → строка? строка : строка?
функция
(строки-не-убывают?/без-регистра строка ...) → строка? строка : строка?
функция
(строки-убывают?/без-регистра строка ...) → строка?
строка : строка?
функция
(строки-не-возрастают?/без-регистра строка ...) → строка? строка : строка?
функция
(прописные/местные строка) → строка?
строка : строка?
функция
(строчные/местные строка) → строка?
строка : строка?
функция
(строки-равны?/местные строка ...) → строка?
строка : строка?
функция
(строки-возрастают?/местные строка ...) → строка?
строка : строка?
функция
(строки-убывают?/местные строка ...) → строка?
строка : строка?
функция
(строки-равны?/местные/без-регистра строка ...) → строка? строка : строка?
функция
(строки-возрастают?/местные/без-регистра строка ...) → строка? строка : строка?
функция
(строки-убывают?/местные/без-регистра строка ...) → строка? строка : строка?
Следующие функции доступны только при использовании модуля строка.
функция
(строка-начинается-с? строка подстрока) → булево?
строка : строка? подстрока : строка?
функция
(строка-заканчивается-на? строка подстрока) → булево?
строка : строка? подстрока : строка?
4.13 Регулярные выражения
функция
(регулярное-выражение строка) → любой
строка : (один-из строка? байты?)
функция
(расширенное-регулярное-выражение строка) → любой
строка : (один-из строка? байты?)
функция
(совпадение-с-регулярным-выражением регулярное-выражение строка) → любой регулярное-выражение : любой строка : (один-из строка? байты?)
функция
(совпадения-с-регулярным-выражением регулярное-выражение строка) → (список-из (список-из (один-из строка? байты?))) регулярное-выражение : любой строка : (один-из строка? байты?)
функция
(совпадает-с-регулярным-выражением? регулярное-выражение строка) → булево? регулярное-выражение : любой строка : (один-из строка? байты?)
функция
(заменить-по-регулярному-выражению регулярное-выражение строка замена) → (один-из строка? байты?) регулярное-выражение : любой строка : (один-из строка? байты?) замена : (один-из строка? байты?)
функция
(заменить-по-регулярному-выражению/все регулярное-выражение строка замена) → (один-из строка? байты?) регулярное-выражение : любой строка : (один-из строка? байты?) замена : (один-из строка? байты?)
функция
(разделить-по-регулярному-выражению регулярное-выражение строка) → (список-из строка?) регулярное-выражение : любой строка : строка?
4.14 Байты
функция
(новые-байты длина [значение]) → байты?
длина : целое-неотрицательное? значение : байт? = 0
функция
(длина-байтов байты) → целое-неотрицательное?
байты : байты?
функция
(элемент-байтов байты позиция) → байт?
байты : байты? позиция : целое-неотрицательное?
функция
(установить-элемент-байтов! байты позиция байт) → пусто? байты : байты? позиция : целое-неотрицательное? байт : байт?
функция
(байты->строка байты [ литера-ошибки начало конец]) → строка? байты : байты? литера-ошибки : (одно-из литера? ложь) = ложь начало : целое-неотрицательное? = 0 конец : целое-неотрицательное? = (длина-байтов байты)
функция
(байты->строка/местные байты [ литера-ошибки начало конец]) → строка? байты : байты? литера-ошибки : (одно-из литера? ложь) = ложь начало : целое-неотрицательное? = 0 конец : целое-неотрицательное? = (длина-байтов байты)
4.15 Ввод-вывод
функция
(порт-вывода? аргумент) → булево?
аргумент : любой
функция
(порт-ввода? аргумент) → булево?
аргумент : любой
функция
аргумент : любой вывод : порт? = (текущий-порт-вывода)
функция
аргумент : любой вывод : порт? = (текущий-порт-вывода)
функция
(вывести/перенос аргумент [вывод]) → пусто?
аргумент : любой вывод : порт? = (текущий-порт-вывода)
функция
(прочитать-строку [ввод] режим) → строка?
ввод : порт? = (текущий-порт-ввода) режим : (одно-из 'перенос 'возврат 'перенос-возврат 'любой 'любой-один)
'перенос —
литера переноса #\перенос (с кодом 10); 'возврат —
литера возврата каретки #\возврат (с кодом 13); 'перенос-возврат —
пара литер перенос и возврат каретки; 'любой —
любой из перечисленных выше; 'любой-один —
перенос или возврат каретки, но не их комбинация.
параметр
(текущий-порт-вывода порт) → пусто? порт : порт-вывода?
параметр
(текущий-порт-ввода порт) → пусто? порт : порт-ввода?
параметр
(текущее-место) → (одно-из строка? ложь)
(текущее-место место) → пусто? место : (один-из строка? ложь)
Когда этот параметр установлен в ложь, результат функций с суффиксом «/местные» должен быть переносим и совпадать с результатом функций без суффикса «/местные».
Значение "" является псевдонимом для региональных настроек операционной системы и является значением по умолчанию. Значение "C" (латинская) всегда доступно и для него результат совпадает с тем, который получен при значении ложь, для литер с кодами от 0 до 127 (цифры, латинский алфавит, ...).
Другие доступные имена мест определяются операционной системой.
Вывод при помощи функции написать и аналогичных не зависит от данного параметра.
4.16 Файлы
функция
(существует-файл? путь) → булево?
путь : (один-из строка? путь?)
функция
(существует-каталог? путь) → булево?
путь : (один-из строка? путь?)
4.17 Функции
4.18 Параметры
функция
аргумент : любой
охрана :
(один-из (любой . -> . любой) ложь) = ложь имя : символ? = 'функция-параметра
синтаксис
(параметризуя ((выражение-параметра выражение-значения) ...) команда ... выражение)
выражение-параметра = параметр?
4.19 Последовательности
функция
(последовательность? аргумент) → булево?
аргумент : любой
функция
(в-диапазоне конец) → последовательность?
конец : число? (в-диапазоне начало конец [шаг]) → последовательность? начало : число? конец : число? шаг : число? = 1
функция
(в-списке аргумент) → последовательность?
аргумент : список?
4.20 Модули
синтаксис
(используется выражение-модуля ...)
4.21 Рисование
Цвета, холст, растровые изображения и значки доступны из каталога "рисование". Отдельные файлы подключаются по имени:
рисование/цвет —
цвет%, стандартные-цвета, внутренний-цвет; рисование/холст —
холст-адины (объекты класса холст%); рисование/изображение —
изображение%; рисование/картинка —
функции значков переработка, галочка, лямбда, стоп и текст.
Модули сами подключают класс. Объекты создаются формой объект. Многие методы холста читают значение без аргументов и записывают его, если аргумент передан.
4.21.1 цвет%
конструктор
(цвет% [ красный зелёный синий укрывистость образец внутренний]) → цвет% красный : целое-неотрицательное? = 0 зелёный : целое-неотрицательное? = 0 синий : целое-неотрицательное? = 0 укрывистость : число? = 0.0 образец : любой = ложь внутренний : любой = ложь
объект цвет% красный красный зелёный зелёный синий синий укрывистость укрывистость образец образец внутренний внутренний
константа
функция
(внутренний-цвет образец) → любой
образец : любой
4.21.2 холст%
функция
(холст-адины внутренний) → холст%
внутренний : любой
метод
(залить-фоном) → пусто?
метод
(копировать лево верх ширина высота лево-цели верх-цели) → пусто? лево : число? верх : число? ширина : число? высота : число? лево-цели : число? верх-цели : число?
метод
(нарисовать-дугу лево верх ширина высота начальный-угол конечный-угол) → пусто? лево : число? верх : число? ширина : число? высота : число? начальный-угол : число? конечный-угол : число?
метод
(нарисовать-эллипс лево верх ширина высота) → пусто?
лево : число? верх : число? ширина : число? высота : число?
метод
(нарисовать-прямоугольник лево верх ширина высота) → пусто? лево : число? верх : число? ширина : число? высота : число?
метод
(нарисовать-закруглённый-прямоугольник лево верх ширина высота [ радиус]) → пусто? лево : число? верх : число? ширина : число? высота : число? радиус : число? = -0.25
метод
(нарисовать-линию лево-начала верх-начала лево-конца верх-конца) → пусто? лево-начала : число? верх-начала : число? лево-конца : число? верх-конца : число?
метод
(нарисовать-линии список-линий [ сместить-вправо сместить-вниз]) → пусто? список-линий : список? сместить-вправо : число? = 0 сместить-вниз : число? = 0
метод
(нарисовать-многоугольник точки [ сместить-вправо сместить-вниз стиль-заполнения]) → пусто? точки : список? сместить-вправо : число? = 0 сместить-вниз : число? = 0 стиль-заполнения : символ? = 'чёт-нечет
метод
(нарисовать-контур контур [ сместить-вправо сместить-вниз стиль-заполнения]) → пусто? контур : любой сместить-вправо : число? = 0 сместить-вниз : число? = 0 стиль-заполнения : символ? = 'чёт-нечет
метод
(нарисовать-точку лево верх) → пусто?
лево : число? верх : число?
метод
(нарисовать-лекало начало контрольная-точка конец) → пусто? начало : любой контрольная-точка : любой конец : любой
метод
(нарисовать-текст текст лево верх [ комбинировать начальная-литера угол]) → пусто? текст : строка? лево : число? верх : число? комбинировать : любой = ложь начальная-литера : целое? = 0 угол : число? = 0
метод
(нарисовать-изображение источник лево-цели верх-цели [ стиль цвет маска]) → булево? источник : изображение% лево-цели : число? верх-цели : число? стиль : любой = 'обычный цвет : любой = 'чёрный маска : любой = ложь
метод
(нарисовать-часть-изображения источник лево-цели верх-цели лево-части верх-части ширина-части высота-части [ стиль цвет маска]) → булево? источник : изображение% лево-цели : число? верх-цели : число? лево-части : число? верх-части : число? ширина-части : число? высота-части : число? стиль : любой = 'обычный цвет : любой = 'чёрный маска : любой = ложь
метод
(начать-слой прозрачность) → пусто?
прозрачность : число?
метод
(закончить-слой) → пусто?
метод
метод
(начать-документ сообщение) → пусто?
сообщение : строка?
метод
метод
метод
метод
метод
(прозрачность) → число?
(прозрачность значение) → пусто? значение : число?
метод
(кисть) → любой
(кисть значение) → пусто? значение : любой (кисть цвет стиль) → пусто? цвет : любой стиль : любой
4.21.3 изображение%
класс
конструктор
(изображение% [ ширина высота масштаб файл вид-файла цвет-фона неудачная-загрузка-ошибка? хранить-данные-файла? байты чёрно-белое? прозрачность? внутренний]) → изображение% ширина : любой = ложь высота : любой = ложь масштаб : число? = 1.0 файл : любой = ложь вид-файла : любой = 'unknown цвет-фона : любой = ложь неудачная-загрузка-ошибка? : булево? = ложь хранить-данные-файла? : булево? = ложь байты : любой = ложь чёрно-белое? : любой = ложь прозрачность? : булево? = ложь внутренний : любой = ложь
объект изображение% ширина ширина высота высота масштаб масштаб файл файл вид-файла вид-файла цвет-фона цвет-фона неудачная-загрузка-ошибка? неудачная-загрузка-ошибка? хранить-данные-файла? хранить-данные-файла? байты байты чёрно-белое? чёрно-белое? прозрачность? прозрачность? внутренний внутренний
метод
метод
метод
метод
(чёрно-белое?) → булево?
метод
метод
(холст) → любой
метод
(загрузить-файл) → пусто?
метод
(записать-файл) → пусто?
метод
(данные-файла) → любой
метод
(указатель) → любой
метод
(загруженная-маска) → любой
(загруженная-маска значение) → пусто? значение : любой
метод
(пиксели-в-байты лево верх ширина высота байты [ только-прозрачность? учитывать-прозрачность? без-масштаба?]) → пусто? лево : число? верх : число? ширина : число? высота : число? байты : любой только-прозрачность? : булево? = ложь учитывать-прозрачность? : булево? = ложь без-масштаба? : булево? = ложь
метод
(байты-в-пиксели лево верх ширина высота байты [ только-прозрачность? учитывать-прозрачность? без-масштаба?]) → пусто? лево : число? верх : число? ширина : число? высота : число? байты : любой только-прозрачность? : булево? = ложь учитывать-прозрачность? : булево? = ложь без-масштаба? : булево? = ложь
4.21.4 Значки
Функции модуля рисование/картинка возвращают
изображение%. Общие ключевые аргументы: цвет
(символ из стандартные-цвета или цвет%; если цвет —
функция
(переработка #:цвет цвет #:высота высота #:материал материал) → изображение% цвет : любой высота : число? материал : любой
функция
(галочка #:цвет цвет #:высота высота #:материал материал) → изображение% цвет : любой высота : число? материал : любой
функция
(лямбда #:цвет цвет #:высота высота #:материал материал) → изображение% цвет : любой высота : число? материал : любой
функция
(стоп #:цвет цвет #:высота высота #:материал материал) → изображение% цвет : любой высота : число? материал : любой
функция
(текст строка шрифт #:обрезать? обрезать #:цвет цвет #:высота высота #:материал материал #:толщина-контура толщина-контура) → изображение% строка : строка? шрифт : шрифт% обрезать : булево? цвет : любой высота : число? материал : любой толщина-контура : число?
4.22 Графический интерфейс
Классы и интерфейсы окон, кнопок, панелей, меню и текстового редактора доступны после
(используется графический-интерфейс)
Отдельные файлы каталога подключаются по имени, например
графический-интерфейс/кнопка или
графический-интерфейс/табличная-панель.
Сводка графический-интерфейс не подключает
графический-интерфейс/табличная-панель,
графический-интерфейс/поле-даты,
графический-интерфейс/область-уведомлений,
графический-интерфейс/стиль и
графический-интерфейс/набор-команд —
Общий предок виджетов —
Класс реализует методы своих интерфейсов: у кнопка% доступны методы элемент-управления<%> и всех предков этого интерфейса.
4.22.1 объект-графического-интерфейса%
конструктор
(объект-графического-интерфейса% внутренний)
→ объект-графического-интерфейса% внутренний : любой
объект объект-графического-интерфейса% внутренний внутренний
метод
(внутренний) → любой
4.22.2 область<%>
интерфейс
область<%> : любой
родитель —
вместилище, в котором лежит область, или ложь у окна верхнего уровня; главное-окно —
окно верхнего уровня, которому принадлежит область, или ложь; минимальная-ширина и минимальная-высота —
чтение и запись минимальных размеров; ложь — размер по содержимому; минимальные-размеры-вывода —
два значения: графические минимумы ширины и высоты (с учётом рамки и полей); растягивается-ширина и растягивается-высота —
можно ли отдавать области лишнее место во вместилище.
Аргументы инициализации у реализующих классов: родитель (обязателен, если не окно верхнего уровня), минимальная-ширина, минимальная-высота (по умолчанию ложь), растягивается-ширина и растягивается-высота (по умолчанию истина).
4.22.3 окно<%>
интерфейс
метод
(есть-фокус?) → булево?
метод
(сфокусировать) → пусто?
метод
метод
метод
(размеры) → любой
метод
(внутренние-размеры) → любой
метод
(окно->экран лево верх) → любой
лево : число? верх : число?
метод
(экран->окно лево верх) → любой
лево : число? верх : число?
метод
(переместить-курсор лево верх) → пусто?
лево : число? верх : число?
метод
(принимать-файлы значение) → пусто? значение : любой
метод
(контекстное-меню меню лево верх) → пусто?
меню : любой лево : число? верх : число?
метод
(указатель) → любой
метод
(режим-колеса-мыши) → любой
(режим-колеса-мыши значение) → пусто? значение : любой
метод
(при-получении-файла путь) → пусто?
путь : строка?
Перетащили файл; аргумент —
метод
(при-изменении-фокуса есть-фокус?) → пусто?
есть-фокус? : булево?
Аргумент: появился ли фокус.
метод
(при-перемещении лево верх) → пусто?
лево : число? верх : число?
Новое лево и верх.
метод
(при-изменении-размера ширина высота) → пусто?
ширина : число? высота : число?
Новая ширина и высота.
метод
(при-получении-элементом-клавиши элемент событие) → любой элемент : любой событие : событие-клавиши%
Клавиша ушла потомку; аргументы: элемент и событие клавиши. В базовой реализации возвращает ложь.
метод
(при-получении-элементом-события элемент событие) → любой элемент : любой событие : событие-мыши%
Мышь у потомка. В базовой реализации возвращает ложь.
метод
(при-изменении-фокуса-элемента элемент есть-фокус?) → пусто? элемент : любой есть-фокус? : булево?
Фокус потомка.
метод
(при-активации-содержащего-окна активно?) → пусто?
активно? : булево?
Изменилось охватывающее окно.
метод
(при-включении-содержащего-окна включено?) → пусто?
включено? : булево?
Изменилось охватывающее окно.
метод
(при-показывании-содержащего-окна показано?) → пусто?
показано? : булево?
Изменилось охватывающее окно.
4.22.4 подобласть<%>
интерфейс
метод
(горизонтальные-поля значение) → пусто? значение : любой
метод
(вертикальные-поля значение) → пусто? значение : любой
4.22.5 подокно<%>
интерфейс
4.22.6 вместилище<%>
интерфейс
метод
(элементы) → любой
метод
(добавить-элемент элемент) → пусто?
элемент : любой
метод
(удалить-элемент элемент) → пусто?
элемент : любой
метод
(изменить-элементы отбор) → пусто?
отбор : функция?
метод
метод
метод
метод
метод
(выравнивание) → любой
(выравнивание горизонтально вертикально) → пусто? горизонтально : любой вертикально : любой
метод
(размер-вместилища информация) → любой
информация : любой
метод
(разместить-элементы информация ширина высота) → пусто? информация : любой ширина : число? высота : число?
метод
(после-добавления-элемента элемент) → пусто?
элемент : любой
Событие после появления нового ребёнка; аргумент —
4.22.7 вместилище-окно<%>
интерфейс
4.22.8 главное-окно<%>
интерфейс
метод
(переместить лево верх) → пусто?
лево : число? верх : число?
метод
(установить-размер ширина высота) → пусто?
ширина : число? высота : число?
метод
(пространство-событий) → любой
метод
(объект-в-фокусе) → любой
метод
(окно-в-фокусе) → любой
метод
(объект-для-редактирования) → любой
метод
(окно-для-редактирования) → любой
метод
(установить-иконку иконка [маска какую]) → пусто?
иконка : любой маска : любой = ложь какую : любой = 'обе
метод
метод
(можно-выйти?) → булево?
метод
(при-активации активно?) → пусто?
активно? : булево?
Окно стало активным или нет.
метод
(при-закрытии) → пусто?
Окно закрывают.
метод
(при-выходе) → пусто?
Приложение завершают через это окно.
метод
(при-получении-сообщения сообщение) → пусто?
сообщение : любой
Системное сообщение.
метод
Сменились экраны или масштаб (есть у главное-окно%).
метод
(при-получении-клавиши событие) → любой
событие : событие-клавиши%
Клавиша обхода фокуса; ложь —
4.22.9 элемент-управления<%>
интерфейс
4.22.10 список<%>
интерфейс
метод
индекс : целое-неотрицательное?
метод
(найти-строку строка) → (один-из целое-неотрицательное? ложь)
строка : строка?
метод
метод
(выделение) → (один-из целое-неотрицательное? ложь)
(выделение индекс) → пусто? индекс : целое-неотрицательное?
метод
индекс : целое-неотрицательное?
метод
(выбранная-строка) → (один-из строка? ложь)
(выбранная-строка строка) → пусто? строка : строка?
4.22.11 картина<%>
интерфейс
метод
(принимать-фокус-табом значение) → пусто? значение : любой
метод
метод
(холст) → любой
метод
(минимальная-ширина-холста ширина) → пусто? ширина : целое-неотрицательное?
метод
(минимальная-высота-холста высота) → пусто? высота : целое-неотрицательное?
метод
метод
метод
(при-получении-клавиши событие) → любой
событие : событие-клавиши%
Вызывается, когда картина получает событие клавиатуры. Если вернуть не ложь, стандартная обработка не выполняется. В базовом классе возвращает ложь.
метод
(при-получении-события событие) → любой
событие : событие-мыши%
Вызывается, когда картина получает событие мыши. Если вернуть не ложь, стандартная обработка не выполняется. В базовом классе возвращает ложь.
метод
(при-отрисовке) → любой
Вызывается, когда картину нужно перерисовать (показ, изменение размера, запрос обновить). Если вернуть не ложь, стандартная отрисовка (в том числе обработка) не выполняется. В базовом классе возвращает ложь; тогда вызывается обработка.
метод
(при-входе-табом) → любой
Вызывается, когда клавиатурный фокус входит на картину обходом табуляцией (событие при-изменении-фокуса тоже вызывается). Если вернуть не ложь, стандартная обработка не выполняется. В базовом классе возвращает ложь.
4.22.12 редактор<%>
интерфейс
метод
(добавить-картину картина) → пусто?
картина : любой
метод
(добавить-отменятель отменятель) → пусто?
отменятель : функция?
метод
(команды-редактора) → любой
(команды-редактора набор) → пусто? набор : любой
метод
(первый-кусок) → любой
метод
(вставить-из-буфера [время]) → пусто?
время : число? = 0
метод
(скопировать [дополнять? время]) → пусто?
дополнять? : любой = ложь время : число? = 0
метод
(размеры) → любой
метод
(глобальные->местные лево верх) → любой
лево : число? верх : число?
метод
(максимальная-ширина значение) → пусто? значение : любой
метод
(минимальная-ширина значение) → пусто? значение : любой
метод
(максимальная-высота значение) → пусто? значение : любой
метод
(минимальная-высота значение) → пусто? значение : любой
метод
метод
(при-получении-события событие) → любой
событие : событие-мыши%
Событие мыши по документу. Аргумент —
метод
(при-получении-необработанного-события событие) → любой
событие : событие-мыши%
Вызывается, когда событие мыши не обработал кусок с курсором и не обработал набор команд. Аргумент —
метод
Показ изменил размер видимой области (как у размеры). Вызывается не напрямую, а через обработать-изменение-размера. В базовом классе ничего не делает. Если включён автоматический перенос, исходная реализация подстраивает максимальную ширину под картины документа.
Внешняя (не вложенная) последовательность редактирования только что началась. Во время последовательности остальные события вызываются как обычно, но долгие вычисления лучше отложить до её конца. В базовом классе ничего не делает.
4.22.13 пункт-меню<%>
интерфейс
метод
(родитель) → любой
метод
(восстановить) → пусто?
4.22.14 пункт-меню-с-заголовком<%>
интерфейс
метод
(строка-помощи) → любой
(строка-помощи значение) → пусто? значение : любой
4.22.15 буфер-обмена<%>
интерфейс
метод
(получить-строку [время]) → строка?
время : целое? = 0
метод
(установить-строку текст [время]) → пусто?
текст : строка? время : целое? = 0
метод
(получить-данные формат [время]) → (один-из байты? строка? ложь)
формат : строка? время : целое? = 0
метод
(получить-изображение [время]) → (один-из изображение% ложь)
время : целое? = 0
метод
(установить-изображение изображение [время]) → пусто?
изображение : изображение% время : целое? = 0
метод
(тот-же-клиент? клиент) → булево?
клиент : любой
метод
(установить-клиент клиент [время]) → пусто?
клиент : любой время : целое? = 0
значение
4.22.16 главное-окно%
класс
конструктор
(главное-окно% [ заголовок ширина высота] родитель [ граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → главное-окно% заголовок : строка? = "" ширина : любой = ложь высота : любой = ложь родитель : любой граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр верх) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект главное-окно% заголовок заголовок ширина ширина высота высота родитель родитель граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
заголовок по умолчанию пустая строка. ширина и высота —
метод
метод
(показать-состояние состояние) → пусто?
состояние : строка?
4.22.17 диалог%
конструктор
(диалог% [ заголовок ширина высота] родитель [ граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → диалог% заголовок : строка? = "" ширина : любой = ложь высота : любой = ложь родитель : любой граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр верх) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект диалог% заголовок заголовок ширина ширина высота высота родитель родитель граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
Те же аргументы, что у главное-окно%. Методы —
функция
(получить-файл [ сообщение родитель каталог имя-файла расширение стиль фильтры]) → (один-из строка? ложь) сообщение : (один-из строка? ложь) = ложь родитель : (один-из главное-окно% диалог% ложь) = ложь каталог : (один-из строка? ложь) = ложь имя-файла : (один-из строка? ложь) = ложь расширение : (один-из строка? ложь) = ложь стиль : список? = пустой-список фильтры : список? = '((«Любые» «*.*»))
4.22.18 область-уведомлений%
класс
конструктор
(область-уведомлений% [ заголовок иконка команда]) → область-уведомлений% заголовок : любой = "" иконка : любой = 'сведения команда : функция? = (функция (область событие-мыши%) пусто)
объект область-уведомлений% заголовок заголовок иконка иконка команда команда
заголовок —
функция
(загрузить-иконку путь) → любой
путь : строка?
4.22.19 группа%
конструктор
(группа% родитель [ граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля]) → группа% родитель : любой граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр центр) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0
объект группа% родитель родитель граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля
Выравнивание по умолчанию '(центр центр). Поля по умолчанию 0. родитель обязателен.
минимальная-ширина и минимальная-высота по умолчанию ложь —
4.22.20 горизонтальная-группа%
класс
конструктор
(горизонтальная-группа% родитель [ граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля]) → горизонтальная-группа% родитель : любой граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(лево центр) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0
объект горизонтальная-группа% родитель родитель граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля
Выравнивание по умолчанию '(лево центр). родитель обязателен.
минимальная-ширина и минимальная-высота по умолчанию ложь —
4.22.21 вертикальная-группа%
класс
конструктор
(вертикальная-группа% родитель [ граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля]) → вертикальная-группа% родитель : любой граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр верх) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0
объект вертикальная-группа% родитель родитель граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля
Выравнивание по умолчанию '(центр верх). родитель обязателен.
минимальная-ширина и минимальная-высота по умолчанию ложь —
4.22.22 панель%
конструктор
(панель% родитель [ стиль граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → панель% родитель : любой стиль : любой = '() граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр центр) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект панель% родитель родитель стиль стиль граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
стиль —
4.22.23 горизонтальная-панель%
класс
конструктор
(горизонтальная-панель% родитель [ стиль граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → горизонтальная-панель% родитель : любой стиль : любой = '() граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(лево центр) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект горизонтальная-панель% родитель родитель стиль стиль граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
Выравнивание по умолчанию '(лево центр). родитель обязателен.
минимальная-ширина и минимальная-высота по умолчанию ложь —
метод
(ориентация) → любой
(ориентация значение) → пусто? значение : любой
4.22.24 вертикальная-панель%
класс
конструктор
(вертикальная-панель% родитель [ стиль граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → вертикальная-панель% родитель : любой стиль : любой = '() граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(центр верх) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект вертикальная-панель% родитель родитель стиль стиль граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
Выравнивание по умолчанию '(центр верх). родитель обязателен.
минимальная-ширина и минимальная-высота по умолчанию ложь —
метод
(ориентация) → любой
(ориентация значение) → пусто? значение : любой
4.22.25 табличная-панель%
класс
конструктор
(табличная-панель% родитель [ стиль измерения заполнять колонки-растягиваются ряды-растягиваются граница интервал выравнивание минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота горизонтальные-поля вертикальные-поля включен]) → табличная-панель% родитель : любой стиль : любой = '() измерения : любой = '(1 1) заполнять : символ? = 'ряд колонки-растягиваются : символ? = 'любая ряды-растягиваются : символ? = 'любая граница : целое-неотрицательное? = 0 интервал : целое-неотрицательное? = 0 выравнивание : любой = '(лево центр) минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект табличная-панель% родитель родитель стиль стиль измерения измерения заполнять заполнять колонки-растягиваются колонки-растягиваются ряды-растягиваются ряды-растягиваются граница граница интервал интервал выравнивание выравнивание минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
измерения —
метод
(колонки-растягиваются) → любой
(колонки-растягиваются значение) → пусто? значение : символ?
метод
(ряды-растягиваются) → любой
(ряды-растягиваются значение) → пусто? значение : символ?
4.22.26 кнопка%
конструктор
(кнопка% заголовок родитель [ команда шрифт стиль растягивается-ширина растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → кнопка% заголовок : любой родитель : любой
команда : функция? = (функция (кнопка событие-управления%) пусто) шрифт : шрифт% = шрифт-элемента-управления стиль : любой = '() растягивается-ширина : булево? = ложь растягивается-высота : булево? = ложь минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект кнопка% заголовок заголовок родитель родитель команда команда шрифт шрифт стиль стиль растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
заголовок —
4.22.27 флажок%
конструктор
(флажок% заголовок родитель [ значение команда шрифт стиль растягивается-ширина растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → флажок% заголовок : любой родитель : любой значение : булево? = ложь
команда : функция? = (функция (флажок событие-управления%) пусто) шрифт : шрифт% = шрифт-элемента-управления стиль : любой = '() растягивается-ширина : булево? = ложь растягивается-высота : булево? = ложь минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект флажок% заголовок заголовок родитель родитель значение значение команда команда шрифт шрифт стиль стиль растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
заголовок —
4.22.28 надпись%
конструктор
(надпись% заголовок родитель [ цвет размер-по-заголовку шрифт стиль растягивается-ширина растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → надпись% заголовок : любой родитель : любой цвет : любой = ложь размер-по-заголовку : булево? = ложь шрифт : шрифт% = шрифт-элемента-управления стиль : любой = '() растягивается-ширина : булево? = ложь растягивается-высота : булево? = ложь минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект надпись% заголовок заголовок родитель родитель цвет цвет размер-по-заголовку размер-по-заголовку шрифт шрифт стиль стиль растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
заголовок —
метод
(размер-по-заголовку значение) → пусто? значение : булево?
4.22.29 текстовое-поле%
класс
конструктор
(текстовое-поле% родитель [ заголовок значение при-изменении стиль растягивается-ширина шрифт растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → текстовое-поле% родитель : любой заголовок : любой = ложь значение : строка? = "" при-изменении : функция? = ложь стиль : любой = '(однострочное) растягивается-ширина : булево? = истина шрифт : шрифт% = шрифт-элемента-управления растягивается-высота : булево? = ложь минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект текстовое-поле% родитель родитель заголовок заголовок значение значение при-изменении при-изменении стиль стиль растягивается-ширина растягивается-ширина шрифт шрифт растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
заголовок —
4.22.30 список%
конструктор
(список% элементы родитель [ заголовок команда выделение шрифт шрифт-заголовка стиль колонки порядок-колонок растягивается-ширина растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → список% элементы : список? родитель : любой заголовок : любой = ложь
команда : функция? = (функция (список событие-управления%) пусто) выделение : любой = ложь шрифт : шрифт% = шрифт-элемента-управления шрифт-заголовка : шрифт% = шрифт-элемента-управления стиль : любой = '(одиночный) колонки : список? = '(«Колонка») порядок-колонок : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект список% элементы элементы родитель родитель заголовок заголовок команда команда выделение выделение шрифт шрифт шрифт-заголовка шрифт-заголовка стиль стиль колонки колонки порядок-колонок порядок-колонок растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
элементы и родитель обязательны. заголовок по умолчанию
ложь —
метод
индекс : целое-неотрицательное? значение : строка? колонка : целое-неотрицательное? = 0
метод
(добавить-колонку заголовок) → пусто?
заголовок : строка?
метод
(удалить-колонку индекс) → пусто?
индекс : целое-неотрицательное?
метод
метод
(порядок-колонок порядок) → пусто? порядок : список?
метод
(ширина-колонки колонка) → любой
колонка : целое-неотрицательное?
(ширина-колонки колонка ширина минимум максимум) → пусто? колонка : целое-неотрицательное? ширина : целое-неотрицательное? минимум : целое-неотрицательное? максимум : целое-неотрицательное?
метод
(данные индекс) → любой
индекс : целое-неотрицательное? (данные индекс значение) → пусто? индекс : целое-неотрицательное? значение : любой
метод
(первый-видимый индекс) → пусто? индекс : целое-неотрицательное?
метод
(шрифт-заголовка) → любой
метод
индекс : целое-неотрицательное?
метод
метод
индекс : целое-неотрицательное? выделен? : любой = истина
метод
(установить-элементы элементы) → пусто?
элементы : список?
4.22.31 поле-даты%
класс
конструктор
(поле-даты% родитель [ заголовок значение при-изменении стиль растягивается-ширина шрифт растягивается-высота минимальная-ширина минимальная-высота горизонтальные-поля вертикальные-поля включен]) → поле-даты% родитель : любой заголовок : любой = ложь значение : строка? = "" при-изменении : функция? = ложь стиль : любой = '(однострочное) растягивается-ширина : булево? = истина шрифт : шрифт% = шрифт-элемента-управления растягивается-высота : булево? = ложь минимальная-ширина : любой = ложь минимальная-высота : любой = ложь горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 включен : булево? = истина
объект поле-даты% родитель родитель заголовок заголовок значение значение при-изменении при-изменении стиль стиль растягивается-ширина растягивается-ширина шрифт шрифт растягивается-высота растягивается-высота минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля включен включен
Те же аргументы и методы, что у текстовое-поле%.
4.22.32 строка-меню%
класс
конструктор
(строка-меню% родитель) → строка-меню%
родитель : любой
объект строка-меню% родитель родитель
родитель обязателен: главное-окно% или диалог%. В строку кладут объекты меню%.
4.22.33 меню%
родитель и заголовок обязательны.
4.22.34 всплывающее-меню%
класс
конструктор
(всплывающее-меню% [заголовок]) → всплывающее-меню%
заголовок : строка? = ""
объект всплывающее-меню% заголовок заголовок
Показывают методом контекстное-меню окна. Пункты —
4.22.35 пункт-меню%
класс
конструктор
(пункт-меню% родитель заголовок [действие]) → пункт-меню%
родитель : любой заголовок : любой
действие : функция? = (функция (пункт событие-управления%) пусто)
объект пункт-меню% родитель родитель заголовок заголовок действие действие
Все три аргумента обязательны.
4.22.36 шрифт%
конструктор
(шрифт% [ размер семейство имя стиль насыщенность подчёркнутый? сглаживание размер-в-пикселях? округлять-метрики? свойства]) → шрифт% размер : число? = 12 семейство : любой = 'default имя : любой = ложь стиль : символ? = 'нормальный насыщенность : символ? = 'нормальная подчёркнутый? : булево? = ложь сглаживание : символ? = 'стандартное размер-в-пикселях? : булево? = ложь округлять-метрики? : булево? = истина свойства : соответствие? = #hash()
объект шрифт% размер размер семейство семейство имя имя стиль стиль насыщенность насыщенность подчёркнутый? подчёркнутый? сглаживание сглаживание размер-в-пикселях? размер-в-пикселях? округлять-метрики? округлять-метрики? свойства свойства
имя по умолчанию ложь. стиль —
метод
метод
(семейство) → любой
метод
(имя) → любой
метод
(насыщенность) → символ?
метод
(подчёркнутый?) → булево?
метод
(сглаживание) → символ?
метод
метод
метод
(идентификатор) → целое?
метод
(есть-литера? литера [для-заголовка?]) → булево?
литера : любой для-заголовка? : булево? = ложь
значение
функция
(на-основе-шрифта шрифт #:размер размер #:семейство семейство #:имя имя #:стиль стиль #:насыщенность насыщенность #:подчёркнутый? подчёркнутый? #:сглаживание сглаживание #:размер-в-пикселях? размер-в-пикселях? #:округлять-метрики? округлять-метрики? #:свойства свойства) → шрифт% шрифт : шрифт% размер : число? семейство : любой имя : любой стиль : любой насыщенность : любой подчёркнутый? : булево? сглаживание : любой размер-в-пикселях? : булево? округлять-метрики? : булево? свойства : соответствие?
4.22.37 событие%
Метка времени в миллисекундах (по умолчанию 0).
4.22.38 событие-мыши%
класс
конструктор
(событие-мыши% [тип время] внутренний) → событие-мыши%
тип : символ? = 'вход время : целое? = 0 внутренний : любой
объект событие-мыши% тип тип время время внутренний внутренний
тип —
метод
(нажата-кнопка? [кнопка]) → булево?
кнопка : символ? = 'любая
метод
(отпущена-кнопка? [кнопка]) → булево?
кнопка : символ? = 'любая
4.22.39 событие-клавиши%
класс
конструктор
(событие-клавиши% внутренний) → событие-клавиши%
внутренний : любой
объект событие-клавиши% внутренний внутренний
Обычно получают через событие-клавиши-адины.
метод
(клавиша) → любой
4.22.40 событие-управления%
класс
конструктор
(событие-управления% внутренний) → событие-управления%
внутренний : любой
объект событие-управления% внутренний внутренний
Обычно получают через событие-управления-адины.
функция
(событие-мыши-адины событие) → событие-мыши%
событие : любой
функция
(событие-клавиши-адины событие) → событие-клавиши%
событие : любой
функция
(событие-управления-адины событие) → событие-управления%
событие : любой
4.22.41 картина%
Холст для произвольного рисования и обработки событий мыши и клавиатуры. Модуль графический-интерфейс/картина.
Рисование обычно делают в обработка или в при-отрисовке, получая холст% через холст. Система вызывает отрисовку при показе, изменении размера и по запросу обновить; несколько запросов обновить могут объединиться в один вызов при-отрисовке.
Методы подокно<%> и картина<%> тоже доступны у объекта.
конструктор
(картина% родитель [ заголовок обработка стиль горизонтальные-поля вертикальные-поля минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота включен]) → картина% родитель : любой заголовок : любой = ложь обработка : функция? = (функция (картина холст) пусто) стиль : любой = '() горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина включен : булево? = истина
объект картина% родитель родитель заголовок заголовок обработка обработка стиль стиль горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота включен включен
родитель —
заголовок —
стиль —
обработка —
горизонтальные-поля и вертикальные-поля —
метод
(принимать-фокус-табом значение) → пусто? значение : любой
Если фокус по табуляции включён, клавиши табуляции, стрелок, ввода и отмены обрабатываются при-получении-клавиши окна верхнего уровня, а не доходят до картины.
метод
Если картина создана с прозрачным стилем, чтение возвращает ложь; запись в таком случае ошибка.
метод
(холст) → любой
метод
(минимальная-ширина-холста ширина) → пусто? ширина : целое-неотрицательное?
метод
(минимальная-высота-холста высота) → пусто? высота : целое-неотрицательное?
метод
метод
метод
(при-получении-клавиши событие) → любой
событие : событие-клавиши%
Вызывается, когда картина получает событие клавиатуры. Если вернуть не ложь, стандартная обработка не выполняется.
В базовом классе возвращает ложь.
метод
(при-получении-события событие) → любой
событие : событие-мыши%
Вызывается, когда картина получает событие мыши. Если вернуть не ложь, стандартная обработка не выполняется.
В базовом классе возвращает ложь.
метод
(при-отрисовке) → любой
Вызывается, когда картину нужно перерисовать (показ, изменение размера, запрос обновить). Если вернуть не ложь, стандартная отрисовка (в том числе обработка) не выполняется.
В базовом классе возвращает ложь; тогда вызывается обработка.
метод
(при-входе-табом) → любой
Вызывается, когда клавиатурный фокус входит на картину обходом табуляцией (событие при-изменении-фокуса тоже вызывается). Если вернуть не ложь, стандартная обработка не выполняется.
В базовом классе возвращает ложь.
4.22.42 поле-редактора%
класс
конструктор
(поле-редактора% родитель [ заголовок редактор стиль горизонтальные-поля вертикальные-поля минимальная-ширина минимальная-высота растягивается-ширина растягивается-высота включен]) → поле-редактора% родитель : любой заголовок : любой = ложь редактор : любой = ложь стиль : любой = '() горизонтальные-поля : целое-неотрицательное? = 0 вертикальные-поля : целое-неотрицательное? = 0 минимальная-ширина : любой = ложь минимальная-высота : любой = ложь растягивается-ширина : булево? = истина растягивается-высота : булево? = истина включен : булево? = истина
объект поле-редактора% родитель родитель заголовок заголовок редактор редактор стиль стиль горизонтальные-поля горизонтальные-поля вертикальные-поля вертикальные-поля минимальная-ширина минимальная-ширина минимальная-высота минимальная-высота растягивается-ширина растягивается-ширина растягивается-высота растягивается-высота включен включен
Аргументы как у картина%, вместо обработка —
4.22.43 текст%
Обычный текстовый документ. На экране его показывают через поле-редактора% или другую картину. Модуль графический-интерфейс/текст.
Методы редактор<%> тоже доступны у объекта.
конструктор
(текст% [ межстрочный-промежуток автоматический-перенос]) → текст% межстрочный-промежуток : число? = 1.0 автоматический-перенос : любой = ложь
объект текст% межстрочный-промежуток межстрочный-промежуток автоматический-перенос автоматический-перенос
межстрочный-промежуток —
Если автоматический-перенос не ложь, включается перенос длинных строк; по умолчанию ложь.
Для нового документа создаются свой набор-команд% и свой список-стилей%.
метод
(после-вставки начало длина) → пусто?
начало : целое-неотрицательное? длина : целое-неотрицательное?
Вызывается после вставки элементов (и после обновления показа).
начало —
В базовом классе ничего не делает. Чтобы при правке в этом методе не было лишних перерисовок, используйте начать-последовательность-редактирования. Внутренние замки при вызове не ставятся.
См. также можно-менять-стиль? и при-начале-последовательности-редактировании.
метод
(после-объединения-кусков позиция) → пусто?
позиция : целое-неотрицательное?
Вызывается после слияния соседних кусков в один. позиция —
В базовом классе ничего не делает.
метод
(можно-менять-стиль? начало длина) → булево?
начало : целое-неотрицательное? длина : целое-неотрицательное?
Вызывается перед сменой стиля на участке от начало длиной длина. Если вернуть ложь, смена отменяется.
Во время вызова документ заперт на запись; правки, если нужны, делайте после смены стиля или через последовательность редактирования.
В базовом классе возвращает истина.
См. также изменить-стиль и при-начале-последовательности-редактировании.
метод
(изменить-стиль стиль-или-отклонение начало конец считать-изменением) → пусто? стиль-или-отклонение : любой начало : любой конец : любой считать-изменением : любой
Если начало и конец не заданы, меняется текущее выделение. Если задано только начало, стиль меняется от него до конца выделения.
Если считать-изменением —
Чтобы сменить стиль у многих кусков сразу, лучше передать готовый стиль%, а не отклонение: иначе отклонение приходится переводить в стиль для каждого куска.
метод
(найти-позицию лево верх) → целое-неотрицательное?
лево : число? верх : число?
метод
(найти-кусок позиция направление) → любой
позиция : целое-неотрицательное? направление : символ?
Если позиция лежит между кусками, направление выбирает, какой вернуть:
'перед-или-пусто —
кусок перед позицией или ложь в начале документа; 'перед —
кусок перед позицией или первый кусок в начале документа; 'после —
кусок после позиции или последний кусок в конце документа; 'после-или-пусто —
кусок после позиции или ложь в конце документа и дальше.
метод
(данные-куска кусок) → любой
кусок : кусок% (данные-куска кусок данные) → пусто? кусок : кусок% данные : любой
метод
(позиция-куска кусок) → любой
кусок : кусок%
метод
элемент : любой (вставить элемент начало) → пусто? элемент : любой начало : целое-неотрицательное? (вставить элемент начало конец) → пусто? элемент : любой начало : целое-неотрицательное? конец : любой (вставить элемент начало конец прокрутка) → пусто? элемент : любой начало : целое-неотрицательное? конец : любой прокрутка : любой
(вставить элемент начало конец прокрутка объединять) → пусто? элемент : любой начало : целое-неотрицательное? конец : любой прокрутка : любой объединять : любой
(вставить количество элемент начало конец прокрутка объединять) → пусто? количество : целое-неотрицательное? элемент : любой начало : целое-неотрицательное? конец : любой прокрутка : любой объединять : любой
Кусок нельзя вставить в несколько документов или дважды в один: при вставке его стиль переводится в список стилей документа.
Если начало не указано, берётся начало текущего выделения. Если выделена область, вставляемое значение заменяет её; начало и конец выделения сдвигаются к концу вставки.
Если конец задан и не совпадает с началом, вставка заменяет область от начала до конца, и выделение остаётся в конце вставленного. Иначе, если позиция вставки не позже начала или конца выделения, эти границы сдвигаются на длину вставленного.
Если прокрутка не ложь и начало совпадает с началом текущего выделения, показ прокручивается к новой позиции выделения.
Если объединять не ложь (или вставляется литера), соседние литеры, которые должны рисоваться как один знак, включаются во вставку, чтобы знак не разорвался по разным кускам.
метод
метод
метод
метод
(текст [ начало конец сплющить? принудительный-перенос?]) → строка? начало : целое-неотрицательное? = 0
конец : (или/c целое-неотрицательное? 'конец-файла) = 'конец-файла сплющить? : любой = ложь принудительный-перенос? : любой = ложь
Если сплющить? не ложь, возвращается «сплющенный» текст (см. Flattened Text в документации Racket). Если принудительный-перенос? не ложь, в конец каждого абзаца добавляется символ перевода строки.
метод
(установить-выделение начало [ конец в-конце-строки? прокрутить? тип-выделения]) → пусто? начало : целое-неотрицательное? конец : (или/c целое-неотрицательное? 'начало) = 'начало в-конце-строки? : любой = ложь прокрутить? : любой = истина
тип-выделения : (или/c 'по-умолчанию 'x 'локально) = 'по-умолчанию
Если конец —
Если прокрутить? не ложь, показ прокручивается так, чтобы выделение стало видимым. тип-выделения влияет на механизм X selection ('по-умолчанию, 'x, 'локально).
метод
(только-просмотр значение) → пусто?
значение : любой
На внутренние замки показа и пересчёта раскладки этот метод не влияет.
метод
(конец-абзаца абзац видимый?) → целое-неотрицательное?
абзац : целое? видимый? : любой
Если абзацев меньше, чем номер плюс один, возвращается конец последнего
абзаца. Если номер меньше нуля —
Если абзац заканчивается невидимыми элементами (например, переносом строки) и видимый? не ложь, возвращается первая позиция перед этими элементами.
метод
(прокрутить-к-позиции позиция) → булево?
позиция : целое-неотрицательное?
Если обновление отложено, запрос запоминается до конца отложения. Прокрутка запрещена, пока документ заперт на пересчёт раскладки.
Показ сам может прокручивать документ, не вызывая этот метод (например, полоса прокрутки картины).
метод
(обработчик-щелчка начало конец функция отметка при-нажатии?) → пусто? начало : целое-неотрицательное? конец : целое-неотрицательное? функция : функция? отметка : любой при-нажатии? : любой
функция вызывается, когда пользователь выбирает участок: ей передаются документ и границы участка.
отметка —
Если при-нажатии? не ложь (по умолчанию ложь), функция вызывается сразу при нажатии, а не при отпускании; отметка тогда не используется.
функция
(для-каждого-куска текст функция) → пусто?
текст : текст% функция : функция?
4.22.44 кусок%
Обычно куски делают наследниками или получают из документа.
метод
(следующий) → любой
метод
(предыдущий) → любой
метод
(скопировать) → любой
метод
(количество) → целое?
(количество новое-значение) → пусто? новое-значение : целое?
метод
(при-получении-клавиши холст лево верх лево-редактора верх-редактора событие) → пусто? холст : холст% лево : число? верх : число? лево-редактора : число? верх-редактора : число? событие : событие-клавиши%
метод
(при-получении-события холст лево верх лево-редактора верх-редактора событие) → пусто? холст : холст% лево : число? верх : число? лево-редактора : число? верх-редактора : число? событие : событие-мыши%
метод
(изменён-размер ширина высота) → любой
ширина : число? высота : число?
Если вернуть не ложь, стандартное изменение размера не выполняется. В базовом классе возвращает ложь.
функция
(кусок-адины внутренний) → любой
внутренний : любой
4.22.45 кусок-со-строкой%
класс
конструктор
(кусок-со-строкой% [содержимое]) → кусок-со-строкой%
содержимое : любой = 0
объект кусок-со-строкой% содержимое содержимое
содержимое —
4.22.46 кусок-с-изображением%
класс
конструктор
(кусок-с-изображением% [содержимое]) → кусок-с-изображением%
содержимое : любой = ложь
объект кусок-с-изображением% содержимое содержимое
содержимое —
метод
(изображение значение) → пусто? значение : изображение%
4.22.47 кусок-с-редактором%
класс
конструктор
(кусок-с-редактором% [редактор есть-граница])
→ кусок-с-редактором% редактор : любой = ложь есть-граница : булево? = истина
объект кусок-с-редактором% редактор редактор есть-граница есть-граница
редактор —
метод
(редактор) → любой
метод
(максимальная-ширина новое-значение редактор?) → пусто? новое-значение : число? редактор? : булево?
метод
(минимальная-ширина новое-значение редактор?) → пусто? новое-значение : число? редактор? : булево?
метод
(максимальная-высота новое-значение редактор?) → пусто? новое-значение : число? редактор? : булево?
метод
(минимальная-высота новое-значение редактор?) → пусто? новое-значение : число? редактор? : булево?
4.22.48 список-стилей%
класс
конструктор
метод
(базовый-стиль) → стиль%
метод
(найти-по-имени имя) → стиль%
имя : символ?
метод
(новый-с-именем имя стиль) → стиль%
имя : символ? стиль : стиль%
метод
(заменить-с-именем имя стиль) → стиль%
имя : символ? стиль : стиль%
4.22.49 стиль%
Обычно получают из список-стилей%.
метод
(базовый-стиль) → стиль%
метод
(установить-отклонение отклонение) → пусто?
отклонение : отклонение-стиля%
функция
(стиль-адины внутренний) → стиль%
внутренний : любой
4.22.50 отклонение-стиля%
класс
конструктор
метод
(установить-цвет-текста цвет) → пусто?
цвет : любой
метод
(установить-цвет-фона цвет) → пусто?
цвет : любой
4.22.51 набор-команд%
класс
конструктор
(набор-команд% внутренний) → набор-команд%
внутренний : любой
объект набор-команд% внутренний внутренний
внутренний —
метод
(добавить-функцию имя функция) → пусто?
имя : символ? функция : функция?
метод
(есть-функция? имя) → булево?
имя : символ?
метод
(вызвать-функцию имя источник событие) → пусто?
имя : символ? источник : любой событие : любой
метод
(функция-команды команда функция) → пусто?
команда : строка? функция : символ?
метод
функция
(набор-команд-адины внутренний) → набор-команд%
внутренний : любой
4.23 Операционная система
синтаксис
(замерить-время команда ... выражение)
функция
(применить-замеряя-время функция список) →
список? точное-целое? точное-целое? точное-целое? функция : функция? список : список?
функция
(открыть-страницу-Интернета строка-адреса) → пусто?
строка-адреса : строка?
функция
(воспроизвести-звук файл [асинхронно?]) → булево?
файл : (один-из строка? путь?) асинхронно? : любой = ложь
функция
(завершить-работу [значение]) → любой
значение : любой = истина
Если значение —
4.24 Сервер гипертекста
Модуль сервер-гипертекста/сервер.
функция
(сервер/единственный обработчик [ #:командная-строка? командная-строка? #:закрывать-соединение? закрывать-соединение? #:открывать-браузер? открывать-браузер? #:выход? выход? #:выводить-сведения? выводить-сведения? #:слушать-адрес слушать-адрес #:порт порт #:наибольшая-очередь наибольшая-очередь] #:пределы-безопасности пределы-безопасности #:управляющий управляющий [ #:путь-сервлета путь-сервлета] #:регулярное-сервлета регулярное-сервлета [ #:без-состояния? без-состояния?] #:упаковщик упаковщик [ #:пространство-имён-сервлета пространство-имён-сервлета] #:корень-сервера корень-сервера #:дополнительные-файлы дополнительные-файлы #:корень-сервлетов корень-сервлетов #:текущий-каталог-сервлета текущий-каталог-сервлета #:ответ-файл-не-найден ответ-файл-не-найден #:ответ-загрузки-сервлета ответ-загрузки-сервлета #:ответ-ошибки-сервлета ответ-ошибки-сервлета #:путь-типов-содержимого путь-типов-содержимого [ #:защищённый? защищённый?] #:сертификат сертификат #:ключ ключ [ #:журнал журнал #:формат-журнала формат-журнала]) → любой обработчик : функция? командная-строка? : любой = ложь закрывать-соединение? : любой = ложь открывать-браузер? : любой = (не командная-строка?) выход? : любой = (не командная-строка?) выводить-сведения? : любой = (не командная-строка?) слушать-адрес : (один-из строка? ложь) = «127.0.0.1» порт : целое-неотрицательное? = 8000 наибольшая-очередь : целое-неотрицательное? = 511 пределы-безопасности : любой управляющий : любой путь-сервлета : строка? = «/servlets/standalone.rkt» регулярное-сервлета : любой без-состояния? : любой = ложь упаковщик : любой пространство-имён-сервлета : список? = пустой-список корень-сервера : любой дополнительные-файлы : список? корень-сервлетов : любой текущий-каталог-сервлета : любой ответ-файл-не-найден : функция? ответ-загрузки-сервлета : функция? ответ-ошибки-сервлета : функция? путь-типов-содержимого : любой защищённый? : любой = ложь сертификат : любой ключ : любой
журнал :
(один-из строка? путь? порт-вывода? ложь) = ложь формат-журнала : любой = 'апач-умолчание
Если командная-строка? —
слушать-адрес —
Если открывать-браузер? —
защищённый? включает шифрование соединения; тогда
сертификат и ключ —
журнал —
Модуль сервер-гипертекста/сервер.
функция
(ответ код сообщение секунды тип-содержимого заголовки вывод) → любой код : целое-неотрицательное? сообщение : байты? секунды : число? тип-содержимого : (один-из байты? ложь) заголовки : список? вывод : (порт-вывода? . -> . любой)
функция
→ (один-из байты? ложь) запрос : любой
функция
(отправить/приостановить/маршрутизировать генератор) → любой
генератор : функция?
функция
(ответ/выражение-разметки выражение-разметки [ #:код код #:сообщение сообщение #:секунды секунды] #:тип-содержимого тип-содержимого [ #:куки куки #:заголовки заголовки #:преамбула преамбула]) → любой выражение-разметки : любой код : целое-неотрицательное? = 200 сообщение : (один-из байты? ложь) = ложь секунды : число? = (сейчас) тип-содержимого : (один-из байты? ложь) куки : список? = пустой-список заголовки : список? = пустой-список преамбула : байты? = (новые-байты 0)
функция
(пустой-запрос [#:заголовки заголовки]) → любой
заголовки : список? = пустой-список
функция
(параметры-запроса запрос) → список?
запрос : любой
функция
(извлечь-параметр/единственный имя параметры) → любой имя : символ? параметры : список?
функция
(параметры-запроса/необработанные запрос) → список?
запрос : любой
4.25 Приоритет операторов
Чем больше число, тем выше приоритет. Если не указано иное, операторы с одинаковым приоритетом группируются слева направо.
Оператор |
| Приоритет |
| 8 | |
| 8 | |
// |
| 8 |
% |
| 8 |
| 7 | |
| 7 | |
| 6 | |
| 5 | |
| 5 | |
| 5 | |
| 5 | |
| 5 | |
| 5 | |
| 4 | |
| 3 | |
| 2 | |
| 2, группировка справа | |
| 1,5 | |
| 1, группировка справа | |
| 0 |