[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] REPL

Alaric Snell-Pym scripsit:

> With cells, you can still establish which parts
> of the program are pure - the parts that don't refer to cell
> access/mutation procedures.

Yes, but not statically so: you have to do a program trace.  Without
primitive mutation procedures, you can divid your procedures into those
that have set! inside and those that don't.

Even a refrigerator can conform to the XML      John Cowan
Infoset, as long as it has a door sticker       cowan@x
saying "No information items inside".           http://www.ccil.org/~cowan
        --Eve Maler

Scheme-reports mailing list