Aubrey Jaffer escribió: [...] > > Because the evaluation-order of LET is unspecified, the behavior of > this program is not specified by RnRS. Its behavior would also be > unspecified in the parallel-Scheme I proposed.
Agreed. [...] > Concurrent-evaluation is a slight generalization of > unspecified-evaluation-order. It is the majority of the discipline > necessary to write parallel-Scheme programs (the other part being > serializing side-effects to shared state). > > We've lived with unspecified-evaluation-order for decades. > Parallel-Scheme parlays UEO in existing code and coding practices into > concurrent evaluation with little modification. > > I think this would be a great improvement over the difficult and > bug-ridden thread management paradigms of conventional languages. > I strongly agree. This would be a great improvement indeed. Haskell [1] is working with Sun in exploiting this in CMT systems. [1] http://haskell.org/opensparc/ _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
