В качестве упражнения я пытаюсь определить правило match-rewriter, которое ведет себя так же, как match-lambda, но возвращает свой аргумент, если совпадение не найдено. Пока у меня есть это:
(define-syntax match-rewriter
(syntax-rules ()
((_ (patt body) ...)
(λ (x) (match x (patt body) ...)))))
, который, кажется, отлично работает, если найдено совпадение.
Но я не могу понять, как вернуть аргумент x, если совпадение не найдено.
Я знаю, что совпадение вызовет исключение, если совпадение не найдено. Но я не могу понять, как его поймать, и мне хотелось бы более простого решения, если оно существует.