Это своего рода фиктивные значения. Считыватель расширяет ~x
до (unquote x)
и ~@x
до (unquote-splice x)
. Списки этих типов затем обрабатываются специально в синтаксической кавычке.
Их объявление позволяет также использовать их вне синтаксической кавычки, например, в ваших собственных макросах.
Поскольку они ни к чему не привязаны, их использование вне синтаксической кавычки или макроса, который их обрабатывает, вызывает исключение.