Affectation d'une liste d'atomes dans le schéma

Question

J'essaie d'apprendre Scheme à partir du livre "The Little Schemer" en utilisant DrScheme sur un Macintosh. Cela commence par des choses comme "Quelle est la voiture de l où est l'argument (a b c)?"

Je comprends que la réponse à cette question est un, mais je ne suis pas en mesure de comprendre quoi écrire dans Dr Scheme pour "suivre". Une idée simple sur comment affecter à l comme> (def l ('a' b 'c))

me donne l'erreur: "appel de fonction: attendu un nom défini ou un nom d'opération primitif après une ouverture entre parenthèses, mais a trouvé quelque chose d'autre »

Answer 1

Pour définir quelque chose:

(define <name> <value>) 

donc de définir l:

(define l '(a b c)) 

Ceci définit l comme la liste (a b c). Le guillemet simple cite ce qu'il y a après, qu'il s'agisse d'un symbole ou d'une liste, ce qui signifie qu'il n'est pas évalué mais lu tel quel. Vous ne pas, cependant, citez le nom que vous définissez à. Heureusement, c'est l'un des très petits nombres d'opérations dans Scheme où vous avez cette incohérence.

Answer 2

Essayez ceci:

(define l '(a b c)) 

ici, la citation s'applique à l'ensemble de la liste (a b c).

Answer 3

Ou, il suffit d'utiliser

(car '(a b c)) 

Qu'est-ce que l'erreur vous dit est la suivante: lorsque le lecteur voit une liste, il veut traiter le premier élément de la liste en fonction. C'est ainsi que fonctionne (+ 1 2 3): il appelle la fonction +. (Strictement, il regarde le symbole '+ et trouve qu'il ya une fonction liée à celle, invoque alors cette fonction.)

Ainsi, lorsque vous tapez

(define l ('a 'b 'c)) 

il regarde la liste intérieure puis veut trouver une fonction. Au lieu de cela, il trouve le symbole nommé a. Comme il n'y a pas de fonction, vous obtenez l'erreur. Si, au contraire, vous tapez

(define l '(a b c)) 

que vous avez dit au lecteur via la citation qu'il est de traiter cela comme une liste sans essayer de l'interpréter.

Voici un exemple du schéma MIT sur un Mac:

1 ]=> (define li '(a b c)) 

;Value: li 

1 ]=> (car li) 

;Value: a 

1 ]=> (car '(a b c)) 

;Value: a 

Answer 4

forme non abbraveted de

(define l '(a b c)) 

est

(define l (quote (a b c))) 

ou dans ce cas même ceci:

(define l (list 'a 'b 'c)) 

sans une partie de la "liste", il tente d'exécuter « un , évidemment