Связывание нескольких определений с одной «переменной» в схеме?

Question

Я думаю, что я где-то читал, что вы можете привязать несколько определений к одному имени в схеме. Я знаю, что неправильно использую эту терминологию. Под этим я подразумеваю, что можно сделать следующее (что было бы очень полезно для определения оператора)?

Я считаю, что я читал что-то вроде этого (я знаю, что это не реальный синтаксис)

(let() 
define operator "+" 
define operator "-" 
define operator "*" 
define operator "/")) 

Я хочу проверить еще одну переменную от каждого оператора.

Answer 1

Я не совсем уверен, что вы просите. Вы хотите одну процедуру, которая может обрабатывать различные типы аргументов?

(define (super-add arg1 arg2) 
    (cond ((and (string? arg1) (string? arg2)) 
     (string-append arg1 arg2)) 
     ((and (number? arg1) (number? arg2)) 
     (+ arg1 arg2)) 
     (else 
      (error "UNKNOWN TYPE -- SUPER-ADD")))) 

(super-add "a" "b") => "ab" 
(super-add 2 2) => 4 

Вы заинтересованы в обмене сообщениями?

(define (math-ops msg) ;<---- returns a procedure depending on the msg 
    (cond ((eq? msg 'add) +) 
     ((eq? msg 'sub) -) 
     ((eq? msg 'div) /) 
     ((eq? msg 'multi) *) 
     (else 
      (error "UNKNOWN MSG -- math-ops")))) 

((math-ops 'add) 2 2) => 4 
((math-ops 'sub) 2 2) => 0 

Также правильный синтаксис для let связывания:

(let (([symbol] [value]) 
     ([symbol] [value])) 
    ([body])) 

(let ((a 2) 
     (b (* 3 3))) 
    (+ a b)) 

=> 11 

Это будет очень трудно помочь больше, чем это без вас уточняя, что именно вы пытаетесь сделать.

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

(define (operator? x) 
    (or (string=? "+" x) (string=? "-" x) (string=? "*" x) (string=? "/" x))) 

Если вы принимаете в одну строку, то вам нужно будет разбить его на более мелкие части. У Racket есть встроенная процедура regexp-split, которая сделает это за вас.

(define str-lst (regexp-split #rx" +" [input str])) 

Answer 2

Вы можете иметь в виду на values конструкцию, которая «доставляет аргументы в продолжение». Он может использоваться для возврата нескольких значений из функции. Например,

(define (addsub x y) 
    (values (+ x y) (- x y))) 

(call-with-values 
    (lambda() (addsub 33 12)) 
    (lambda (sum difference) 
    (display "33 + 12 = ") (display sum) (newline) 
    (display "33 - 12 = ") (display difference) (newline)))