Если вы имеете в виду только использование директивы форматирования "~ s", тогда "чтение" является правильным выбором.Посмотрите документы для "printf" ракетки, затем кликните по определению "write" для получения дополнительной информации.
Если, с другой стороны, вы хотите отменить любое использование format
, тогда не может быть уникального ответа;например, отмена (format "~a~a" "abc" "def")
невозможна (в том смысле, что существует несколько возможных вызовов, которые производят abcdef
).