Пример 1

Примите, что требуется использовать некоторые идентификаторы в качестве опций для новой функции, которую вы записали. В этом примере мы будем проверять элементы списка [All, Beta, Circle, D, eval, First] для пригодности. (Обратите внимание на то, что eval не был бы хорошим выбором, даже если бы это не была системная функция, потому что опции должны запуститься с прописной буквы.)

Мы задаем тестовую функцию, которая сопоставлена со списком и возвращает FAIL, если протестированный объект не является идентификатором, TRUE, если идентификатор используется системой и FALSE в противном случае:

LIST:= [All, Beta, Circle, D, eval, First]:
map(LIST, X -> if domtype(X) <> DOM_IDENT then
                 X = FAIL
               else
                 X = prog::isGlobal(X)
               end_if)

Идентификаторы All и First могут использоваться в качестве опций, потому что они были уже защищены системой (на самом деле, они уже используются в качестве опций, который делает их хорошим выбором), идентификаторы, Beta и Circle свободны и нужно только заботиться, что у них нет значения, если они будут использоваться в качестве опций — они должны быть защищены сначала. D и eval имеют значения и не могут использоваться в качестве опций.

Возвращаемые значения

prog::isGlobal возвращает TRUE, если данный идентификатор используется системой, в противном случае FALSE.