Forum libero

> > per le stream definite implicitamente: ho qui il
> > belink
> >
> >
> http://mitpress.mit.edu/sicp/full-text/book/book-Z
>
> secondo me puoi definire stream-cons in modo che
> 'ones' non abbia bisogno di essere
> definito.

in quel caso specifico si ma cons-stream è definito in modo che il 'cdr' non sia valutato immediatamente (vedi sotto per i particolari).

Ovviamente non c'è solo ones: c'è fibs etc. Sono all'esercizio 3.79 dove con queste costruzioni si risolve un'equazione differenziale di 2° grado. Finora ho usato defparameter ma ho come l'impressione che crei un binding globale anziché locale

(defmacro delay (expr)
  `(memo-proc (lambda () ,expr)))

(defun force (delayed-object)
  (funcall delayed-object))

(defmacro cons-stream (head tail)
  `(cons ,head (delay ,tail)))

(defun stream-car (stream) (car stream))
(defun stream-cdr (stream) (force (cdr stream)))

dove memo-proc è una funzione che "ricorda" il risultato se è stato precedentemente calcolato (con force)