Chapter 4, Metalinguistic Abstraction
Exercise 4.2
(a)
How do we check if something is an application? As per the code given, we do this by simply checking if it is a pair!
Thus if we follow the Louis’s idea then anything which is a pair will be considered as an application!
(b)
We just need to change the code for application?
and selectors:
1
2
3
(define (application? exp) (tagged-list? exp 'call))
(define (operator exp) (cadr exp))
(define (operands exp) (cddr exp))