Чистый исполняемый профиль держит эффекты среды вне обычного вычисления и предоставляет в эталонном runtime только закреплённое поведение вывода.
Кратко
LISPEX
(begin (display "answer=") (write 42) (newline) 0)Результат
OUTPUT
answer=42
0Текущие гарантии
display,writeи newline используют каноническую гостевую печать и детерминированный порядок вывода.- Выбор файла/stdin и метки источника в CLI относятся к вызову, а не к новым связываниям языка.
- Внешние возможности должны быть явными и версионированными, а не находиться через fallback глобалов среды.
Границы
- Порты, файловая система, сеть, время, случайность и неограниченное host-вычисление не входят в текущий чистый профиль.
- Выпуск целевого языка не является режимом выполнения Lispex.