TEST 17

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________

• Descrivere la situazione dell'ambiente al termine della valutazione della seguente sessione scheme
  

(define id (lambda (x) x))
(let ((a (+ 3 (Id 3))
       (b 5))
   (Id (+ a b)))

•  Definire una funzione Scheme che, preso un predicato 'P?' su naturali, restituisca un predicato su naturali che e' vero su n se e solo se 'P?' e' vero per tutti i numeri da 0 ad n.