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@ccil.org
saying "No information items inside".           http://www.ccil.org/~cowan
        --Eve Maler

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports