Как я могу вызвать функцию, которая принимает аргумент в ракетке?

Question

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

(if (= c 1) (factorial (n)) 

Answer 1

В рэкет-лана, условными с if имеет синтаксис:

(if <expr> <expr> <expr>) 

Так что в вашем случае, вы должны предоставить другой <expr>.

(define (factorial n) 
    (if (= n 1)  1  (* n (factorial (- n 1))))) 
     ;^exp  ^exp ^exp   
(factorial 3) 

Результаты будут 6

Update:

(define (factorial n) 
    (if (= n 1) 1 (* n (factorial (- n 1))))) 

(define (triple x) 
    (* 3 x)) 

(define (switchcase c) 
    (if (= c 1) 
    (factorial c) 
    (if(= c 2) 
     (triple c) "c is not 1 or 2"))) 

(switchcase 2) 

Answer 2

Есть две проблемы синтаксиса с этим фрагментом:

(if (= c 1) (factorial (n))) 

Для начала if выражение в Ракетке нужны три части:

(if <condition> <consequent> <alternative>) 

Первое, что нужно исправить было бы обеспечить выражение, которое будет выполняться при c равна 1, а другой, который будет работать, если c не равна 1. Скажем, что-то вроде этого:

(if (= c 1) 1 (factorial (n))) 

Теперь вторая проблема: в схеме, когда вы окружаете символ со скобками это означает, что вы пытаетесь выполнить функцию. Поэтому, если вы пишете (n), интерпретатор считает, что n - это функция без аргументов и которую вы пытаетесь назвать. Чтобы исправить это, просто удалите () вокруг n:

(if (= c 1) 1 (factorial n)) 

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

(define (factorial n) 
    (if (<= n 0)     ; base case: if n <= 0 
     1       ; then return 1 
     (* n (factorial (- n 1))))) ; otherwise multiply and advance recursion 

Обратите внимание, как мы уменьшаем n на каждом шаге, чтобы убедиться, что он в конечном счете достигнет нуля, окончание рекурсии. Как только вы успокоитесь с этим решением, мы можем думать о том, чтобы сделать его лучше. Читайте о tail recursion, см., Как компилятор оптимизирует наши циклы, пока мы пишем их таким образом, что последнее, что делается на каждом пути выполнения, - это рекурсивный вызов, после чего ничего не оставалось делать после него.Например, предыдущий код можно записать более эффективно как следует, и посмотреть, как мы передаем накопленный ответ в качестве параметра:

(define (factorial n) 
    (let loop ([n n] [acc 1]) 
    (if (<= n 0) 
     acc 
     (loop (- n 1) (* n acc))))) 

UPDATE

После взглянуть на комментарии, я вижу что вы хотите реализовать процедуру switchcase. Еще раз, есть проблемы с тем, как вы объявляете функции. Это неправильно:

(define fact(x) 

Правильный путь таков:

(define (fact x) 

И на самом деле реализации switchcase, можно использовать вложенные if с, как вы пытались, но это не самый лучший способ. Узнайте, как использовать выражение cond или выражение case, либо один сделает ваше решение проще. И в любом случае вам необходимо предоставить дополнительное условие, если c не является ни 1, ни 2. Кроме того, вы смешиваете имя параметра - это c или x? Со всеми рекомендациями на месте, вот как ваш код должен выглядеть:

(define (switchcase c) 
    (cond ((= c 1) (fact c)) 
     ((= c 2) (triple c)) 
     (else (error "unknown value" c)))) 

Answer 3

Если вы хотите что-то намного ближе к распределительному случаю данного вы можете вернуть процедуры.

(define (switch input cases) 
(let ((lookup (assoc input cases))) 
    (if lookup 
     (cdr lookup) 
     (error "Undefined case on " input " in " cases)))) 

(define (this-switch c) 
(let ((cases (list (cons 1 triple) 
        (cons 2 factorial)))) 
    ((switch c cases) c)))