src/sicp/ex4_26.rkt

   1 #lang racket
   2
   3 #|
   4
   5 Yes, if 'unless' were implemented in an applicative order language, then
   6 it would be implemented as a special form and would be translated into
   7 other functions before evaluation.
   8
   9 Now, if such a special form is used in a higher order function like 'map'
  10 for instance:
  11
  12 (map unless '((p-list) (usual-list) (exception-list)))
  13
  14 then, unless gets expanded before evaluation. But map expects a function
  15 as its second argument.
  16
  17 To see the implementation of unless, see metacircular2.rkt
  18
  19 |#