Come si applica una funzione anonima da un elenco in schema?

Question

I am learning Scheme. Cosa c'è di sbagliato con il codice qui sotto? Voglio scrivere un programma che prende la prima funzione dalla lista e poi la applica a un numero?

(define num 3) 

    ;;I want to do something like this which returns 3 
    ((λ (x) x)num) 

    ;;but my functions are in a list so this should return3 
    ((first '((λ (x) x) (λ (x) (* x x)))) num) 

Im ottenendo questo errore per il codice di cui sopra:
applicazione procedura: procedura prevista, data: (λ (x) x); argomenti erano: 3

Che cosa significa quando ottengo questo tipo di output?

Quando non applico nulla, ottengo un risultato positivo.

(first '((λ(x) x)(λ(x) (*x x)))) 

rendimenti (λ (x) x)

Answer 1

Stai citando, con 'il lambda, in modo che non è in corso di valutazione.

Se ti basta inserire (λ (x) x) al prompt, DrScheme ti mostra #<procedure>, il che significa che ha effettivamente valutato il lambda e ti ha dato una chiusura. Citandolo, stai dando a Scheme solo una lista di simboli.

Se volete mettere le vostre funzioni in un elenco, si può fare:

((first (list (lambda (x) x) (lambda (x) (* x x)))) num) 

La citazione consente di produrre una lista, sì, ma il cui contenuto non vengono valutati. La funzione list produce un elenco da tutti i suoi argomenti, dopo che sono stati valutati.

Si potrebbe anche quasiquote la lista, se ti piace:

((first `(,(lambda (x) x) ,(lambda (x) (* x x)))) num) 

Answer 2

Qual è la differenza tra queste espressioni?

> (procedure? (lambda (n) n)) 
#t 
> (procedure? (quote (lambda (n) n))) 
#f 
> (procedure? '(lambda (n) n)) 
#f 

Jay ha risposto per te ma non posso ancora mandarlo su di lui.

Answer 3

(lambda (x) x) non è una procedura. È una forma che valuta in una procedura. Le persone sono un po 'sciolte con la terminologia e spesso chiamano la forma lambda come una sorta di stenografia. "Ceci n'est pas une pipe."