TEST 18

matricola: ______________________________

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

• Fornire la definizione di relazione di precedenza indotta da una funzione ricorsiva Scheme.
  

•  Supponiate di aver definito in Scheme tutti i costruttori, selettori e predicati per il tipo di dato astratto Stack. Definire una funzione Scheme che preso uno stack st, restituisca una funzione su naturali che, dato n restituisca l'elemento n-esimo, a partire dall'alto, di st, oppure n stesso se l'n-esimo elemento non esiste.
  

• Descrivere la situazione dell'ambiente al termine della valutazione della seguente espressione Scheme:

                                      (  (lambda (x) ( (lambda (y) y) (+ x 5) ) )   1 )