Соответствие по шаблону ввода пользователя

Question

Я пытаюсь использовать match на шаблоне ввода пользователя, вместо того, чтобы статическим.

Идея заключается в том, чтобы расширить:

(rule-match '(a (or '< '=) b) '(list a b) '(3 < 4)) 

Для

(match '(3 < 5) [(list a (or '< '=) b) (list a b)]) 

Я не очень хорошо знакомы с макро и попытался следующее:

(define-syntax (rule-match stx) 
    (syntax-case stx() 
    [(_ pat act input) 
    (with-syntax ([pattern-syntax (syntax (cons 'list pat))] 
        [action-syntax (syntax act)]) 
     #'(match input [pattern-syntax action-syntax]))])) 

Но получаю ошибку match: no matching clause for '(3 < 4)

У кого-нибудь есть намек на это?

Answer 1

Вы близко. Однако цитата, прилагаемая к вашему шаблону, будет делать странные вещи. Вместо этого просто поместите list в шаблон. Вот отрывок, который делает то, что я думаю, что вы хотите:

#lang racket 

(define-syntax (rule-match stx) 
    (syntax-case stx() 
    [(_ pat act input) 
    (with-syntax ([pattern-syntax (syntax pat)] 
        [action-syntax (syntax act)]) 
     #'(match input [pattern-syntax action-syntax]))])) 

(rule-match (list a (or '< '=) b) (list a b) '(3 < 4)) 

В самом деле, на данный момент, нет действительно никакой причины, чтобы отделить две синтаксические привязок, и вы можете просто упростить следующим образом:

#lang racket 

(define-syntax (rule-match stx) 
    (syntax-case stx() 
    [(_ pat act input) 
    #'(match input [pat act])])) 

(rule-match (list a (or '< '=) b) (list a b) '(3 < 4)) 

... который, я думаю, вы согласитесь, легче читать.