Exemple SICP. cond fonctionne mais si non

Question

Si j'utilise le code suivant du chapitre 1 de SICP il donne la bonne réponse.

(cond ((= a 4) 6) ((= b 4) (+ 6 7 a)) (else 25)) 

impressions 16

Si je remplace le par un si cond ne fonctionne pas

(if ((= a 4)6) ((= b 4) (+ 6 7 a)) (else 25)) 

donne erreur:

The object #f is not applicable. 

Qu'est-ce que je fais mal? Pourquoi le si ne fonctionne pas?

N.B. Ceci est de l'exercice 1.1 avec les définitions:

(define a 3) 
(define b (+ a 1)) 

Answer 1

cond et if sont deux constructions syntaxiques très différentes. Vous ne pouvez pas simplement substituer le nom de l'un à l'autre.

Si la syntaxe:

(if test 
    (then part) 
    (else part)) 

syntaxe Cond:

(cond (test1 form11 ... form1n) 
     (test2 form12 ... form2n) 
     ... 
     (else form1m ... formmn)) 

Ainsi, l'équivalent de:

(cond ((= a 4) 6) 
     ((= b 4) (+ 6 7 a)) 
     (else 25)) 

est:

(if (= a 4) 
    6 
    (if (= b 4) 
     (+ 6 7 a) 
     25))