Pages: [1]   Go Down
Print
Author Topic: es 19 scheme  (Read 522 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Alex_47
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 409


The spiral's King


« on: 08-01-2014, 18:57:09 »

Voi come risolvereste questo esercizio?

Code:
Scrivere un' espressione Scheme che corrisponda alla lista infinita di 0. (Non bisogna usare il  define e non importa che la valutazione di tale espressione porti ad una valutazione infinita)
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.079



WWW
« Reply #1 on: 09-01-2014, 17:46:51 »

Occorre utilizzare un operatore di punto fisso (rappresentabile come espressione Scheme, poiche'
non abbiamo tipi).
Ed applicarlo al termine
(\i.(cons 0 i)).
Ma quest'anno non abbiamo approfondito gli operatori di punto fisso (e quindi fatto vedere che esiste un
operatore di punto fisso T tale che (TM)-->> M(TM) ), e quindi l'esercizio
non e' necessario saperlo fare.
L'operatore di punto fisso Y di cui abbiamo parlato a lezione ha la proprieta' che
YM =beta M(YM) e quindi non e' utilizzabile per fare computazioni  usando la beta riduzione.

FB
Logged
Pages: [1]   Go Up
Print
Jump to: